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