ResearchTrend.AI
Geometric Path Enumeration for Equivalence Verification of Neural Networks

Geometric Path Enumeration for Equivalence Verification of Neural Networks

Samuel Teuber
Marko Kleine Büning
Philipp Kern
C. Sinz
ArXiv (abs)PDFHTML

Papers citing "Geometric Path Enumeration for Equivalence Verification of Neural Networks"

3 / 3 papers shown
Title
Revisiting Differential Verification: Equivalence Verification with Confidence
Revisiting Differential Verification: Equivalence Verification with Confidence
Samuel Teuber
Philipp Kern
Marvin Janzen
Bernhard Beckert
112
1
0
26 Oct 2024
Optimized Symbolic Interval Propagation for Neural Network Verification
Optimized Symbolic Interval Propagation for Neural Network Verification
Philipp Kern
Marko Kleine Büning
C. Sinz
54
2
0
15 Dec 2022
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
J. Matos
I. Bessa
Edoardo Manino
Xidan Song
Lucas C. Cordeiro
MQ
61
2
0
09 Jul 2022