Geometric Path Enumeration for Equivalence Verification of Neural Networks

13 December 2021

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

3 / 3 papers shown

Title
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 Philipp Kern Marko Kleine Büning C. Sinz 54 2 0 15 Dec 2022
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