VNNCOMP
We have made valuable contributions to the community by providing the NN4SysBench benchmark for the International Verification of Neural Networks Competition (VNN-COMP) since 2021.
VNNCOMP 24
- Competition Website: VNNCOMP 2024
- NN4SysBench for 2024: VNNComp24_NN4Sys on GitHub
- Results of NN4SysBench (Hover to zoom in for a closer look):
The name is “nn4sys 2023” because it’s the same version as the 2023 release. Graph and table are from VNNComp24 result report
VNNCOMP 23
- Competition Website: VNNCOMP 2023
- NN4SysBench for 2023: VNNComp23_NN4Sys on GitHub
- Results of NN4SysBench (Hover to zoom in for a closer look):
Graph and table are from VNNComp23 result report
VNNCOMP 22
- Competition Website: VNNCOMP 2022
- NN4SysBench for 2022: VNNComp22_NN4Sys on GitHub
- Results of NN4SysBench (Hover to zoom in for a closer look):
Graph and table are from VNNComp22 result report
VNNCOMP 21
- Competition Website: VNNCOMP 2021
- Results of NN4SysBench (Hover to zoom in for a closer look):
Graph and table are from VNNComp21 result report
