On Neural Network Equivalence Checking using SMT Solvers

22 March 2022

Papers citing "On Neural Network Equivalence Checking using SMT Solvers"

8 / 8 papers shown

Title
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 29 0 0 26 Oct 2024
FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks Brian Hyeongseok Kim Jingbo Wang Chao Wang 21 1 0 05 Sep 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer AAML 17 8 0 16 Feb 2024
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle Mohamed Abdelsalam Loai Ali Saddek Bensalem Weicheng He Panagiotis Katsaros Nikolaos Kekatos Doron A. Peled Anastasios Temperekidis Changshun Wu 26 0 0 14 Feb 2024
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 6 1 0 17 Dec 2023
CEG4N: Counter-Example Guided Neural Network Quantization Refinement J. Matos I. Bessa Edoardo Manino Xidan Song Lucas C. Cordeiro MQ 26 2 0 09 Jul 2022
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017