Geometric Path Enumeration for Equivalence Verification of Neural Networks

Samuel Teuber, Marko Kleine Büning, Philipp Kern +1

As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the fo…