ResearchBenchmarksNeural Network Verification on cifar100-tinyimagenet VNN-COMP 2022Follow11.95Verification Time (s)beta-CROWN4.983652.006899.03146.0532Dec 31, 2024Evaluation ResultsMethodMethodLinksVerification Time (s)Verified Countbeta-CROWN2024.1211.9569BICCOS2024.1213.3872GCP-CROWNMIP cuts=trueMIP cuts=true2024.1218.4269VeriNet2024.1239.4361MN-BaB2024.1240.2776Marabou2024.12186.1127