This repo contains the results for VNN COMP 2022 for each tool, as well as scoring code in the SCORING directory.
Links:
- VNN COMP 2022 website: https://sites.google.com/view/vnn2022
- Benchmark list: https://github.com/ChristopherBrix/vnncomp2022_benchmarks
- Online discussion of benchmarks / tools: https://github.com/stanleybak/vnncomp2022/issues