Image de couverture de livre

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Roy, Ann, Antony, Allen, Gimelli, Andrea, Daggitt, Matthew L.
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
par: Daggitt, Matthew L., et autres
Publié: (2024)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
par: Baninajjar, Anahita, et autres
Publié: (2023)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
par: Brix, Christopher, et autres
Publié: (2023)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
par: Brix, Christopher, et autres
Publié: (2024)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
par: Kaulen, Konstantin, et autres
Publié: (2025)

Neural Network Verification is a Programming Language Challenge
par: Cordeiro, Lucas C., et autres
Publié: (2025)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
par: Wu, Haoze, et autres
Publié: (2024)

DaisyRec 2.0: Benchmarking Recommendation for Rigorous Evaluation
par: Sun, Zhu, et autres
Publié: (2022)

Learn and Verify: A Framework for Rigorous Verification of Physics-Informed Neural Networks
par: Tanaka, Kazuaki, et autres
Publié: (2026)

NLP Verification: Towards a General Methodology for Certifying Robustness
par: Casadio, Marco, et autres
Publié: (2024)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
par: Edwards, Alec, et autres
Publié: (2023)

HERTA: A High-Efficiency and Rigorous Training Algorithm for Unfolded Graph Neural Networks
par: Yang, Yongyi, et autres
Publié: (2024)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
par: Dutta, Souradeep, et autres
Publié: (2023)

Defining Foundation Models for Computational Science: A Call for Clarity and Rigor
par: Choi, Youngsoo, et autres
Publié: (2025)

Robustness Verification of Polynomial Neural Networks
par: Alexandr, Yulia, et autres
Publié: (2026)

Neural Network Verification with PyRAT
par: Lemesle, Augustin, et autres
Publié: (2024)

Fully Automatic Neural Network Reduction for Formal Verification
par: Ladner, Tobias, et autres
Publié: (2023)

LIB-KD: Teaching Inductive Bias for Efficient Vision Transformer Distillation and Compression
par: Habib, Gousia, et autres
Publié: (2023)

Proof Minimization in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks
par: Szász, Attila, et autres
Publié: (2025)

COPYCOP: Ownership Verification for Graph Neural Networks
par: Nandakumar, Rahul, et autres
Publié: (2026)

GHaLIB: A Multilingual Framework for Hope Speech Detection in Low-Resource Languages
par: Abdullah, Ahmed, et autres
Publié: (2025)

Information-Theoretic Foundations for Neural Scaling Laws
par: Jeon, Hong Jun, et autres
Publié: (2024)

Similarity-Distance-Magnitude Universal Verification
par: Schmaltz, Allen
Publié: (2025)

Verification of Neural Networks' Global Robustness
par: Kabaha, Anan, et autres
Publié: (2024)

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
par: Lu, Chia-Hsuan, et autres
Publié: (2025)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification
par: Koller, Lukas, et autres
Publié: (2025)

Logic Gate Neural Networks are Good for Verification
par: Kresse, Fabian, et autres
Publié: (2025)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
par: Shi, Zhouxing, et autres
Publié: (2024)

On Integer Programming for the Binarized Neural Network Verification Problem
par: Kim, Woojin, et autres
Publié: (2025)

Correctness Verification of Neural Networks Approximating Differential Equations
par: Ellinas, Petros, et autres
Publié: (2024)

Chordal Sparsity for SDP-based Neural Network Verification
par: Xue, Anton, et autres
Publié: (2022)

Covariance Density Neural Networks
par: Roy, Om, et autres
Publié: (2025)

Graph Variate Neural Networks
par: Roy, Om, et autres
Publié: (2025)

SpikingBrain2.0: Brain-Inspired Foundation Models for Efficient Long-Context and Cross-Platform Inference
par: Pan, Yuqi, et autres
Publié: (2026)

ORANSight-2.0: Foundational LLMs for O-RAN
par: Gajjar, Pranshav, et autres
Publié: (2025)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
par: Papamichail, Merkouris, et autres
Publié: (2026)

Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
par: Fukuda, Kota, et autres
Publié: (2025)

DeepCDCL: An CDCL-based Neural Network Verification Framework
par: Liu, Zongxin, et autres
Publié: (2024)