NNEquiv 1. Jan 2024· Samuel Teuber , Philipp Kern · 0 min read Cite Code DOI Type Software Last updated on 1. Jan 2024 Neural Network Verification Formal Methods Equivalence Geometric Path Enumeration Authors Samuel Teuber PhD Candidate Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness. ← NCubeV 1. Jan 2024 Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract) 1. May 2023 →
