Proof Minimization in Neural Network Verification
Abstract elided by the publisher.
Related papers
- Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks APLAS 2018
- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks TACAS 2023
- Verification of Neural Networks' Global Robustness OOPSLA 2024
- Proof transfer for fast certification of multiple approximate neural networks OOPSLA 2022
- Shared Certificates for Neural Network Verification CAV 2022
- VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification CAV 2026
- Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice ICFP 2026
- Safety Verification of Deep Neural Networks CAV 2017