Bound Propagation for Neural Network Verification
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
207.98Propagation Width
2
Mar 26, 2026
58.99Propagation Width
2
Mar 26, 2026
22.77Propagation Width
2
Mar 26, 2026
0.16Propagation Width
2
Mar 26, 2026
5.42Result Width
2
Mar 26, 2026
43.44Propagation Width
2
Mar 26, 2026
12,067.97Propagation Width
2
Mar 26, 2026
35.8Propagation Width
2
Mar 26, 2026
4.63Propagation Width
2
Mar 26, 2026
4.27Width
2
Mar 26, 2026
867.42Propagation Width
2
Mar 26, 2026