A Certified Proof Checker for Deep Neural Network Verification

17 May 2024

Papers citing "A Certified Proof Checker for Deep Neural Network Verification"

3 / 3 papers shown

Title
Proof-Carrying Neuro-Symbolic Code Ekaterina Komendantskaya NAI 29 0 0 16 Apr 2025
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020