Geometric Path Enumeration for Equivalence Verification of Neural Networks
Teuber, Samuel
1; Kleine Büning, Marko; Kern, Philipp
1; Sinz, Carsten 1
1 Karlsruher Institut für Technologie (KIT)
1; Kleine Büning, Marko; Kern, Philipp
1; Sinz, Carsten 11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2021 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-66540-898-1 KITopen-ID: 1000143129 |
| Erschienen in | Proceedings 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence: ICTAI 2021 ; Virtual Conference, 1-3 November 2021 |
| Veranstaltung | 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021), Online, 01.11.2021 – 03.11.2021 |
| Verlag | IEEE Computer Society |
| Seiten | 200-208 |
| Nachgewiesen in | Dimensions Scopus |
| Relationen in KITopen |