Cover Image

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kaulen, Konstantin, Ladner, Tobias, Bak, Stanley, Brix, Christopher, Duong, Hai, Flinkow, Thomas, Johnson, Taylor T., Koller, Lukas, Manino, Edoardo, Nguyen, ThanhVu H, Wu, Haoze
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
by: Brix, Christopher, et al.
Published: (2024)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
by: Brix, Christopher, et al.
Published: (2023)

Harnessing Neuron Stability to Improve DNN Verification
by: Duong, Hai, et al.
Published: (2024)

A DPLL(T) Framework for Verifying Deep Neural Networks
by: Duong, Hai, et al.
Published: (2023)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
by: Le, Thanh, et al.
Published: (2026)

FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler
by: Le, Thanh, et al.
Published: (2025)

Set-Based Training for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Neural Network Verification is a Programming Language Challenge
by: Cordeiro, Lucas C., et al.
Published: (2025)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
by: Baninajjar, Anahita, et al.
Published: (2023)

[COMP25] The Automated Negotiating Agents Competition (ANAC) 2025 Challenges and Results
by: Aydoğan, Reyhan, et al.
Published: (2026)

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)

CHC-COMP 2023: Competition Report
by: De Angelis, Emanuele, et al.
Published: (2024)

Rethinking Evaluation Paradigms in IBP-based Certified Training
by: Kaulen, Konstantin, et al.
Published: (2026)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
by: Roy, Ann, et al.
Published: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

Inferring Properties of Graph Neural Networks
by: Nguyen, Dat, et al.
Published: (2024)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

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

YAML Verification Witnesses from SV-COMP 2024
by: Saan, Simmo
Published: (2025)

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
by: Wetzlinger, Mark, et al.
Published: (2022)

Vanegas Vásquez, O. K. (2020). Imaginarios políticos del miedo en la narrativa colombiana reciente. Editorial Universidad del Tolima
by: Marcia Muriel Manino
Published: (2021)

Was it Slander? Towards Exact Inversion of Generative Language Models
by: Skapars, Adrians, et al.
Published: (2024)

GPT, But Backwards: Exactly Inverting Language Model Outputs
by: Skapars, Adrians, et al.
Published: (2025)

Learning Randomized Reductions
by: Erata, Ferhat, et al.
Published: (2024)

Single and Competitive Adsorption of Lead, Cadmium, and Chromium Ions Using NaP Zeolite: Kinetics, Isotherms, and Adsorption Properties
by: Huynh Vu Thanh Luong, et al.
Published: (2026)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)

Fully Automatic Neural Network Reduction for Formal Verification
by: Ladner, Tobias, et al.
Published: (2023)

Montague semantics and modifier consistency measurement in neural language models
by: Carvalho, Danilo S., et al.
Published: (2022)

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems
by: Sheikhi, Sanaz, et al.
Published: (2023)

How Special Librarians Really Use the Internet: Summary of Findings and Implications for the Library of the Future.
by: Ladner, Sharyn J., et al.
Published: (1992)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
by: Wu, Tong, et al.
Published: (2024)

A Protocol-Aware P4 Pipeline for MQTT Security and Anomaly Mitigation in Edge IoT Systems
by: Binh, Bui Ngoc Thanh, et al.
Published: (2026)

The Little Giant: The IBM Series/1 in Library Applications.
by: Hendricks, Donald D., et al.
Published: (1987)

Finding Unknown Unknowns using Cyber-Physical System Simulators (Extended Report)
by: Wehbe, Semaan Douglas, et al.
Published: (2025)

Master track of SONNE cruise SO280 in 1 sec resolution (zipped, 16.1 MB)
by: Brix, Saskia, et al.
Published: (2021)