Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks
No abstract available.
Related papers
- Safety Verification of Deep Neural Networks CAV 2017
- Proof Minimization in Neural Network Verification VMCAI 2026
- Provable repair of deep neural networks PLDI 2021
- Exploring deep reuse in winograd CNN inference PPoPP 2021
- Verifying Global Two-Safety Properties in Neural Networks with Confidence CAV 2024
- Robust quantization of deep neural networks CC 2020
- Feature-Guided Black-Box Safety Testing of Deep Neural Networks TACAS 2018
- Neural Network-Guided Synthesis of Recursive List Functions TACAS 2023