CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
No abstract available.
Related papers
- Verification of Deep Convolutional Neural Networks Using ImageStars CAV 2020
- Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing TACAS 2026
- Verification of Neural Networks' Global Robustness OOPSLA 2024
- How Many Bits Does it Take to Quantize Your Neural Network? TACAS 2020
- Verification of Bit-Flip Attacks against Quantized Neural Networks OOPSLA 2025
- Neural Network Robustness as a Verification Property: A Principled Case Study CAV 2022
- Deep Learning Robustness Verification for Few-Pixel Attacks OOPSLA 2023
- Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability CAV 2021