Geometric Path Enumeration for Equivalence Verification of Neural Networks.

Samuel Teuber, Marko Kleine Bning, Philipp Kern, Carsten Sinz

Browse the full ICTAI paper archive.