This repository contains the networks and benchmarks used for the 4th International Verification of Neural Networks Competition (VNN-COMP'23).
The VNN-COMP'23 website is here: https://sites.google.com/view/vnn2023
The repository for the 2022 competition is here: https://github.com/stanleybak/vnncomp2022
The repository for the 2021 competition is here: https://github.com/stanleybak/vnncomp2021
The repository for the 2020 competition is here: https://github.com/verivital/vnn-comp