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
- Competition Rules
- Registration Form (Coming Soon)
- Benchmark Repository
- Results Repository
- Evaluation Platform
- VNN-LIB Standard
| Milestone | Date |
|---|---|
| Registration Deadline | TBD (March 2026) |
| Rules Finalization | TBD (May 2026) |
| Benchmark Submissions | TBD (May 2026) |
| Benchmark Voting | TBD (June 2026) |
| Tool Submission Window | TBD (July 2026) |
| Competition @ SAIV/FLoC | July 24–25, 2026 |
VNN-COMP welcomes three types of participants:
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, andrun_instance.shscripts - Choose your evaluation instance type: CPU, GPU, or Balanced
- Optionally submit a Competition Contribution Paper (4-6 pages) for SAIV LNCS proceedings
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
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
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
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:
- 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
- Mailing List: vnn-comp@googlegroups.com
- GitHub: VNN-COMP Organization