Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions
Kleine Büning, Marko 1; Kern, Philipp
1; Sinz, Carsten 1
1 Karlsruher Institut für Technologie (KIT)
1; Sinz, Carsten 11 Karlsruher Institut für Technologie (KIT)
| 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 Dimensions |