vnncomp2024

Verification of Neural Networks Competition Main Repository (VNN-COMP'24)

Main website

https://sites.google.com/view/vnn2024

Execution site

https://vnncomp.christopher-brix.de/

Rules document:

https://docs.google.com/document/d/1bgkx5lnugrwlNzQ2MPRSd47MAkZGJfR9v2jo7oRskd0/edit?usp=sharing

Prior benchmarks and results for reference

2023 benchmarks: https://github.com/ChristopherBrix/vnncomp2023_benchmarks

2023 results: https://github.com/ChristopherBrix/vnncomp2023_results