Automated Inequality Proving on PolyIneqBench n=3
97.6Pass RateMaple
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Maple2026.05 | 97.6 | 24.6 | |
| Z32026.05 | 97.6 | 0.6 | |
| LIPS2026.05 | 71.4 | 82.5 | |
| NSPI2026.05 | 44.1 | 16.3 | |
| DS-Prover-v22026.05 | 42.9 | 19.8 | |
| Kimina-Prover2026.05 | 36.9 | 117 | |
| GPT-5.22026.05 | 26.2 | 56.8 | |
| Gemini-3-Pro2026.05 | 22.6 | 91.2 | |
| Goedel-Prover-v22026.05 | 20.2 | 189.6 | |
| DeepSeek-V3.22026.05 | 14.3 | 368.4 |