Geometric Path Enumeration for Equivalence Verification of Neural Networks
-
Autor:
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
-
Quelle:
ICTAI 2021 (https://doi.org/10.1109/ICTAI52525.2021.00035)
- Datum: 2021