Philipp Kern

Geometric Path Enumeration for Equivalence Verification of Neural Networks

2021 · 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)

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 formal verification problem of NN equivalence which …