Safety verification
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
90.5Success Rate
24
May 11, 2026
99Ps
23
Apr 23, 2026
98Ps (Probability)
18
Apr 23, 2026
92.8Verification Rate
12
May 11, 2026
99.3Success Rate
12
May 11, 2026
71.2Verification Rate
12
May 11, 2026
0.911Success Rate (%)
12
May 11, 2026
97Ps
12
Apr 23, 2026
0.99Ps
9
Apr 23, 2026
5.1Alpha
6
Apr 23, 2026
1Alpha
6
Apr 23, 2026
100Pass Rate
4
Feb 26, 2026
1Safety Verification Result
2
Jun 4, 2026
308Time
2
Feb 26, 2026
62Verification Time
2
Jun 4, 2026
215Metric t
2
Jun 4, 2026
59Generic Variable t
1
Feb 26, 2026
19Parameter t
1
Feb 26, 2026