ResearchBenchmarksNeural Network Verification on oval VNN-COMP 2022For AI assistantsMarkdownContent indexNeural Network Verification on oval VNN-COMP 2022Follow23.26Verification Time (s)beta-CROWN-1.012162.824326.66490.496Dec 31, 2024Evaluation resultsMethodMethodLinksVerification Time (s)Verified Properties Countbeta-CROWN2024.1223.2620GCP-CROWNMIP cuts=trueMIP cuts=true2024.1232.1225BICCOS2024.1259.8426VeriNet2024.1273.6517MN-BaB2024.12137.1319ERAN2024.12233.846Venus22024.12386.7117OVAL2024.12393.1411Marabou2024.12429.135nnenum2024.12630.063