Automated Inequality Proving
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
11.7Pass Rate
10
May 18, 2026
15Pass Rate
10
May 18, 2026
21.7Pass Rate
10
May 18, 2026
26.7Pass Rate
10
May 18, 2026
29.5Pass Rate
10
May 18, 2026
36.7Pass Rate
10
May 18, 2026
40.3Pass Rate
10
May 18, 2026
97.6Pass Rate
10
May 18, 2026