@INPROCEEDINGS{TeuberICTAI21,
  author={Teuber, Samuel and Kleine Büning, Marko and Kern, Philipp and Sinz, Carsten},
  booktitle={2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)}, 
  title={Geometric Path Enumeration for Equivalence Verification of Neural Networks}, 
  year={2021},
  volume={},
  number={},
  pages={200-208},
  doi={10.1109/ICTAI52525.2021.00035}
}