ResearchTrend.AI
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

M. Daggitt
Wen Kokke
R. Atkey
Luca Arnaboldi
Ekaterina Komendantskaya
ArXivPDFHTML

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

6 / 6 papers shown
Title
A Generalised Framework for Property-Driven Machine Learning
A Generalised Framework for Property-Driven Machine Learning
Thomas Flinkow
Marco Casadio
Colin Kessler
Rosemary Monahan
Ekaterina Komendantskaya
AAML
62
1
0
01 May 2025
Provably Safe Neural Network Controllers via Differential Dynamic Logic
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
Towards a Certified Proof Checker for Deep Neural Network Verification
Remi Desmartin
Omri Isac
Grant Passmore
Kathrin Stark
Guy Katz
Ekaterina Komendantskaya
18
6
0
12 Jul 2023
Exploiting Verified Neural Networks via Floating Point Numerical Error
Exploiting Verified Neural Networks via Floating Point Numerical Error
Kai Jia
Martin Rinard
AAML
37
34
0
06 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
88
293
0
09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
251
1,842
0
03 Feb 2017