Verification of Neural Networks Competition Main Repository (VNN-COMP'24)
https://sites.google.com/view/vnn2024
https://vnncomp.christopher-brix.de/
https://docs.google.com/document/d/1bgkx5lnugrwlNzQ2MPRSd47MAkZGJfR9v2jo7oRskd0/edit?usp=sharing
2023 benchmarks: https://github.com/ChristopherBrix/vnncomp2023_benchmarks
2023 results: https://github.com/ChristopherBrix/vnncomp2023_results