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