KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions

Kleine Büning, Marko; Kern, Philipp; Sinz, Carsten



Originalveröffentlichung
DOI: 10.1007/978-3-030-58475-7_50
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Young Investigator Network (YIN)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-58475-7
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000128800
Erschienen in Principles and Practice of Constraint Programming – 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Ed.: H. Simonis
Verlag Springer International Publishing
Seiten 868–884
Serie Lecture Notes in Computer Science ; 12333
Vorab online veröffentlicht am 02.09.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page