VNN-COMP 2026

7th International Verification of Neural Networks Competition

Website: https://vnn-comp.github.io/#vnncomp2026

Dates: July 24–25, 2026

Location: Lisbon, Portugal

Co-located with: SAIV 2026 @ FLoC 2026

---

Quick Links

• Competition Rules
• Registration Form (Coming Soon)
• Benchmark Repository
• Results Repository
• Evaluation Platform
• VNN-LIB Standard

---

Important Dates

Milestone	Date
Registration Deadline	March 24, 2026
Rules Finalization	May 1, 2026
Benchmark Submissions	May 8, 2026
Benchmark Voting	May 29,2026
Tool Submission Window	June 30, 2026
Competition @ SAIV/FLoC	July 24–25, 2026

---

Participation

VNN-COMP welcomes three types of participants:

Tool Developers

Submit your neural network verification tool to compete against other state-of-the-art tools on standardized benchmarks.

• Prepare install_tool.sh, prepare_instance.sh, and run_instance.sh scripts
• Choose your evaluation instance type: CPU, GPU, or Balanced
• Optionally submit a Competition Contribution Paper (4-6 pages) for SAIV LNCS proceedings

Benchmark Proposers

Propose benchmarks that challenge and evaluate verification tools on important real-world problems.

• Provide ONNX networks and VNN-LIB specification files
• Include seed-based instance generation via generate_properties.py
• Benchmarks are voted on by tool participants for inclusion in Regular/Extended tracks

Sponsors

Support the advancement of neural network verification by sponsoring VNN-COMP.

• Logo visibility on website and presentation materials
• Support cash prizes for competition winners
• Contact organizers for sponsorship details

---

Discussion & Issues

Use the GitHub Issues in this repository for:

• Rules Discussion - Propose and discuss rule changes
• Benchmark Proposals - Submit new benchmark proposals
• Tool Submission Questions - Ask questions about tool submission
• General Feedback - Provide feedback and suggestions

---

Organizing Committee

General Chairs:

• Taylor T. Johnson (Vanderbilt University)
• Stanley Bak (Stony Brook University)

Evaluation Chairs:

• Christopher Brix
• Tobias Ladner
• Lukas Koller
• Konstantin Kaulen

Benchmark Chairs:

• Edoardo Manino
• Thomas Flinkow

Report Chairs:

• Haoze Wu
• Hai Duong

Papers Chair:

• ThanhVu H. Nguyen

Publicity Chair:

• Ben Wooding

---

Prior Competitions

• VNN-COMP 2025 - SAIV @ CAV 2025, Zagreb, Croatia
• VNN-COMP 2024 - SAIV @ CAV 2024
• VNN-COMP 2023
• VNN-COMP 2022
• VNN-COMP 2021
• VNN-COMP 2020

---

Contact

• Mailing List: [email protected]
• GitHub: VNN-COMP Organization