Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz. Geometric Path Enumeration for Equivalence Verification of Neural Networks. In 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021. pages 200-208, IEEE, 2021. [doi]
Abstract is missing.