Neural Network Verification
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
79.3Verified Accuracy
30
Feb 27, 2026
51.6Verified Accuracy
13
Feb 27, 2026
1.5Execution Time
13
Feb 26, 2026
2.5Time
13
Feb 26, 2026
5.69Verification Time (s)
12
Feb 27, 2026
78.32Verification Time (s)
12
Feb 27, 2026
118.23Verification Time (s)
12
Feb 27, 2026
150.25Verification Time (s)
11
Feb 26, 2026
23.26Verification Time (s)
10
Feb 26, 2026
22.88Verification Time (s)
8
Feb 26, 2026
8.3Time (s)
7
Feb 26, 2026
15.4Time (s)
7
Feb 26, 2026
5.2Execution Time (s)
7
Feb 26, 2026
0.03Time per Trial (s)
6
May 13, 2026
-1.5Relative Bound
6
Feb 26, 2026
-4.2Relative Bound
6
Feb 26, 2026
1.5Time (s)
6
Feb 26, 2026
1.7Time (s)
6
Feb 26, 2026
11.95Verification Time (s)
6
Feb 26, 2026
84.3Verification Time (s)
5
Feb 26, 2026
140Verified Properties Count
5
Feb 26, 2026
125Verified Properties Count
5
Feb 26, 2026
142Time (s)
3
Feb 26, 2026
78,818Time (s)
2
Feb 26, 2026
104,614Time (s)
1
Feb 26, 2026