Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

10 February 2022

Papers citing "Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers"

6 / 6 papers shown

Title
A Generalised Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 52 1 0 01 May 2025
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer AAML 27 8 0 16 Feb 2024
Towards a Certified Proof Checker for Deep Neural Network Verification Remi Desmartin Omri Isac Grant Passmore Kathrin Stark Guy Katz Ekaterina Komendantskaya 16 6 0 12 Jul 2023
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 32 34 0 06 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 224 1,835 0 03 Feb 2017