Picture for Samuel Teuber

Samuel Teuber

Revisiting Differential Verification: Equivalence Verification with Confidence

Add code
Oct 26, 2024
Viaarxiv icon

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Add code
Feb 16, 2024
Viaarxiv icon

An Information-Flow Perspective on Algorithmic Fairness

Add code
Dec 15, 2023
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