Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

10 February 2022

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

2 / 2 papers shown

Title
A General Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 418 2 0 01 May 2025
Towards a Certified Proof Checker for Deep Neural Network VerificationInternational Workshop/Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), 2023 Remi Desmartin Omri Isac Grant Passmore Kathrin Stark Guy Katz Ekaterina Komendantskaya 168 9 0 12 Jul 2023