verivital / vnncomp2024 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 4

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

4 stars 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.md		README.md

Repository files navigation

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