TY  - RPRT
TI  - Geometric Path Enumeration for Equivalence Verification of Neural Networks
AU  - Samuel Teuber
AU  - Marko Kleine Büning
AU  - Philipp Kern
AU  - Carsten Sinz
PY  - 2021
UR  - https://arxiv.org/abs/2112.06582
ID  - 2112.06582
ER  -