Probabilistic verification
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
0.079Us - Ls
8
Apr 24, 2026
7.906Us - Ls
8
Apr 24, 2026
330Average Latency (ms)
2
Jun 19, 2026
303Average Latency (ms)
2
Jun 19, 2026
221Average Latency (ms)
2
Jun 19, 2026