Neural Network Verification on oval VNN-COMP 2022 benchmark leaderboard · SOTA2 Research

Neural Network Verification on oval VNN-COMP 2022

23.26Verification Time (s)beta-CROWN

Evaluation Results

Method	Links
beta-CROWN2024.12		23.26	20
GCP-CROWN2024.12		32.12	25
BICCOS2024.12		59.84	26
VeriNet2024.12		73.65	17
MN-BaB2024.12		137.13	19
ERAN2024.12		233.84	6
Venus22024.12		386.71	17
OVAL2024.12		393.14	11
Marabou2024.12		429.13	5
nnenum2024.12		630.06	3