Picture for Philipp Kern

Philipp Kern

Revisiting Differential Verification: Equivalence Verification with Confidence

Add code
Oct 26, 2024
Viaarxiv icon

Optimized Symbolic Interval Propagation for Neural Network Verification

Add code
Dec 15, 2022
Viaarxiv icon

Geometric Path Enumeration for Equivalence Verification of Neural Networks

Add code
Dec 13, 2021
Figure 1 for Geometric Path Enumeration for Equivalence Verification of Neural Networks
Figure 2 for Geometric Path Enumeration for Equivalence Verification of Neural Networks
Figure 3 for Geometric Path Enumeration for Equivalence Verification of Neural Networks
Figure 4 for Geometric Path Enumeration for Equivalence Verification of Neural Networks
Viaarxiv icon