An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
Abstract elided by the publisher.
Related papers
- ARENA: Enhancing Abstract Refinement for Neural Network Verification VMCAI 2023
- Improving Neural Network Verification through Spurious Region Guided Refinement TACAS 2021
- Scalable Polyhedral Verification of Recurrent Neural Networks CAV 2021
- An Abstraction-Based Framework for Neural Network Verification CAV 2020
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems CAV 2019
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024
- Provable Preimage Under-Approximation for Neural Networks TACAS 2024
- Neural Networks, Secure by Construction - An Exploration of Refinement Types APLAS 2020