Weak Robustness Verification research benchmarks

Benchmarks

Dataset NameSOTA methodMetricTrendResultsLast Updated

1,128Solved Count (All Instances)

Mar 10, 2026

3,385Solved Instances (All)

Mar 10, 2026

0.02Verification Time (ta) (s)

Mar 10, 2026

0.02Verification Time (ta(s))

Mar 10, 2026

0.01Verification Time ta (s)

Mar 10, 2026

0.02Verification Time (ta, s)

Mar 10, 2026

58Solved Count

Mar 10, 2026