ARENA: Enhancing Abstract Refinement for Neural Network Verification
No abstract available.
Related papers
- An Abstraction-Based Framework for Neural Network Verification CAV 2020
- An Abstraction-Refinement Approach to Verification of Artificial Neural Networks CAV 2010
- Improving Neural Network Verification through Spurious Region Guided Refinement TACAS 2021
- Scalable Polyhedral Verification of Recurrent Neural Networks CAV 2021
- QAV-FT: Quadratic Approximation-Based Neural Network Verification via Fourier Series and Taylor Truncation CAV 2026
- Enhancing Neural Network Robustness via Synthesis of Repair Programs SAS 2025
- The Marabou Framework for Verification and Analysis of Deep Neural Networks CAV 2019
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024