NNV3: Expanding Neural Network Verification to New Architectures and Domains

arXiv:2609.30050 · cs.AI · Submitted 2026-09-24 · Read on arXiv

cs.AI

Submitted: 2026-09-24

Updated: 2026-09-24

Code: https://github.com/verivital/nnv

Project page: https://verivital.github.io/nnv

Terminology

• Verification — 140× in this paper · explained in 2 episodes
• Robustness — 35× in this paper · explained in 5 episodes
• Neural Network Verification — 25× in this paper
• Benchmark — 14× in this paper · explained in 2 episodes
• Hybrid System — 10× in this paper · explained in 2 episodes
• Abstraction — 9× in this paper · explained in 1 episode
• Formal Verification — 7× in this paper · explained in 2 episodes
• Analyzer — 6× in this paper · explained in 1 episode
• Calibration — 5× in this paper · explained in 7 episodes
• Core — 5× in this paper · explained in 2 episodes
• Formal Methods — 5× in this paper · explained in 3 episodes
• GNNs — 5× in this paper · explained in 2 episodes
• International Conference on Machine Learning — 4× in this paper
• Quantization — 4× in this paper · explained in 12 episodes
• Trace — 4× in this paper · explained in 2 episodes
• Conformal Prediction — 3× in this paper · explained in 5 episodes
• Verified Fairness — 3× in this paper
• Verifier — 3× in this paper · explained in 2 episodes
• Adversarial Robustness — 2× in this paper · explained in 3 episodes
• Conference on Computer Vision and Pattern Recognition — 2× in this paper
• Generalization — 2× in this paper · explained in 13 episodes
• Graph Neural Networks (GNNs) — 2× in this paper · explained in 7 episodes
• Activation Function — 1× in this paper · explained in 1 episode
• Adversarial Search — 1× in this paper · explained in 1 episode
• Artificial Intelligence (AI) — 1× in this paper · explained in 2 episodes
• Computer-Aided Verification — 1× in this paper
• Convolutional Neural Networks (CNNs) — 1× in this paper · explained in 2 episodes
• Defense Advanced Research Projects Agency — 1× in this paper
• IEEE International Conference on Computer Vision — 1× in this paper
• Model-Agnostic — 1× in this paper · explained in 2 episodes
• National Science Foundation — 1× in this paper
• Optical Flow — 1× in this paper · explained in 2 episodes
• SMT solver — 1× in this paper · explained in 2 episodes
• Transformer — 1× in this paper · explained in 2 episodes
• Uncertainty Quantification — 1× in this paper · explained in 8 episodes

Sources

• The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
• The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
• A DPLL(T) Framework for Verifying Deep Neural Networks
• A Survey on Methods and Theories of Quantized Neural Networks
• Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
• The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
• VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification

Related papers

• MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
• Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
• The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
• MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
• Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems
• VSAL: A Vision Solver with Adaptive Layouts for Graph Property Detection