Automated Inequality Proving on PolyIneqBench n=5
36.7Pass RateGemini-3-Pro
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Gemini-3-Pro2026.05 | 36.7 | 109.8 | |
| NSPI2026.05 | 36.7 | 20 | |
| Maple2026.05 | 26.7 | 451.2 | |
| Z32026.05 | 23.3 | 101.9 | |
| LIPS2026.05 | 13.3 | 141.6 | |
| GPT-5.22026.05 | 1.7 | 51.8 | |
| DeepSeek-V3.22026.05 | 1.7 | 526.8 | |
| DS-Prover-v22026.05 | 0 | — | |
| Goedel-Prover-v22026.05 | 0 | — | |
| Kimina-Prover2026.05 | 0 | — |