In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a variety of problem classes and tasks, corresponding to safety and robustness properties in image ...
Vnncomp2020 version of Venus2. Contribute to pkouvaros/venus2_vnncomp2022 development by creating an account on GitHub.