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