Buchumschlag

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Brix, Christopher, Bak, Stanley, Johnson, Taylor T., Wu, Haoze
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
von: Kaulen, Konstantin, et al.
Veröffentlicht: (2025)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
von: Brix, Christopher, et al.
Veröffentlicht: (2023)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2024)

Provably Bounding Neural Network Preimages
von: Kotha, Suhas, et al.
Veröffentlicht: (2023)

Neural Network Verification with PyRAT
von: Lemesle, Augustin, et al.
Veröffentlicht: (2024)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
von: Baninajjar, Anahita, et al.
Veröffentlicht: (2023)

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
von: Roy, Ann, et al.
Veröffentlicht: (2026)

Verification of Neural Network Control Systems in Continuous Time
von: ArjomandBigdeli, Ali, et al.
Veröffentlicht: (2024)

COPYCOP: Ownership Verification for Graph Neural Networks
von: Nandakumar, Rahul, et al.
Veröffentlicht: (2026)

Prediction of Bank Credit Ratings using Heterogeneous Topological Graph Neural Networks
von: Liu, Junyi, et al.
Veröffentlicht: (2025)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
von: Wang, Chengxiao, et al.
Veröffentlicht: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
von: Shi, Zhouxing, et al.
Veröffentlicht: (2024)

Lemur: Integrating Large Language Models in Automated Program Verification
von: Wu, Haoze, et al.
Veröffentlicht: (2023)

DeepCDCL: An CDCL-based Neural Network Verification Framework
von: Liu, Zongxin, et al.
Veröffentlicht: (2024)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
von: Papamichail, Merkouris, et al.
Veröffentlicht: (2026)

The Luna Bound Propagator for Formal Analysis of Neural Networks
von: LeCates, Henry, et al.
Veröffentlicht: (2026)

Efficiently Computing Compact Formal Explanations
von: Wu, Min, et al.
Veröffentlicht: (2024)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
von: Boetius, David, et al.
Veröffentlicht: (2024)

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
von: Sivaramakrishnan, Vignesh, et al.
Veröffentlicht: (2024)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
von: Liu, Zongxin, et al.
Veröffentlicht: (2024)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
von: Dutta, Souradeep, et al.
Veröffentlicht: (2023)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
von: Marzari, Luca, et al.
Veröffentlicht: (2025)

Harnessing Scale and Physics: A Multi-Graph Neural Operator Framework for PDEs on Arbitrary Geometries
von: Li, Zhihao, et al.
Veröffentlicht: (2024)

Multi-Evidence based Fact Verification via A Confidential Graph Neural Network
von: Lan, Yuqing, et al.
Veröffentlicht: (2024)

BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification
von: Das, Sarthak
Veröffentlicht: (2025)

BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
von: Wang, Fangji, et al.
Veröffentlicht: (2025)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
von: Cai, Feiyang, et al.
Veröffentlicht: (2024)

Towards Fine-Tuning-Based Site Calibration for Knowledge-Guided Machine Learning: A Summary of Results
von: Zeng, Ruolei, et al.
Veröffentlicht: (2025)

Structure-Aware Epistemic Uncertainty Quantification for Neural Operator PDE Surrogates
von: Song, Haoze, et al.
Veröffentlicht: (2026)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
von: Liu, Minghao, et al.
Veröffentlicht: (2025)

Verification of Bit-Flip Attacks against Quantized Neural Networks
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
von: Elboher, Yizhak Y., et al.
Veröffentlicht: (2026)

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression
von: Li, Jingyang, et al.
Veröffentlicht: (2025)

GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory
von: Wu, Haoze, et al.
Veröffentlicht: (2024)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
von: Chen, Shaoru, et al.
Veröffentlicht: (2024)

TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks
von: Maheri, Mohammad M, et al.
Veröffentlicht: (2025)

Survey on Generalization Theory for Graph Neural Networks
von: Vasileiou, Antonis, et al.
Veröffentlicht: (2025)

E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
von: Li, Wenting, et al.
Veröffentlicht: (2026)