NNEquiv

1. Jan 2025·
Samuel Teuber
Samuel Teuber
,
Philipp Kern
,
Marvin Janzen
,
Bernhard Beckert
· 0 min read
Type
Neural Network Verification Formal Methods Equivalence Differential Verification
Samuel Teuber
Authors
Samuel Teuber
PhD Candidate
Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness.