This repository contains the networks and benchmarks used for the 3rd International Verification of Neural Networks Competition (VNN-COMP'22).
Results: The presentation recording is available here and the slides are here.
The VNN-COMP'22 website is here: https://sites.google.com/view/vnn2022
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