Samuel Teuber Marko Kleine Büning Philipp Kern Carsten Sinz Geometric Path Enumeration for Equivalence Verification of Neural Networks. 2021 abs/2112.06582 CoRR https://arxiv.org/abs/2112.06582 db/journals/corr/corr2112.html#abs-2112-06582