Theorem Proving on ProofNet (test)
21.5Pass Rate (%)
DeepSeek-Prover-V1.5-RL + RMaxTS
Updated 1mo ago
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| 21.5 | - | - | - | - | - | ||
2026.06 | 19.1 | - | - | - | - | - | |
2026.06 | 19 | - | - | - | - | - | |
2026.06 | 18.6 | - | - | - | - | - | |
| 18.5 | - | - | - | - | - | ||
2026.06 | 17.7 | - | - | - | - | - | |
| 17.6 | - | - | - | - | - | ||
2026.06 | 17.4 | - | - | - | - | - | |
2026.06 | 17.2 | - | - | - | - | - | |
2026.06 | 16.8 | - | - | - | - | - | |
2026.06 | 16.7 | - | - | - | - | - | |
2026.06 | 16 | - | - | - | - | - | |
2026.06 | 15.6 | - | - | - | - | - | |
2025.04 | 15.25 | 1.67 | 0.84 | 26.09 | - | - | |
2026.06 | 15.05 | - | - | - | - | - | |
2025.04 | 14.69 | 1.83 | 1 | 28.57 | - | - | |
2026.06 | 14.3 | - | - | - | - | - | |
2025.04 | 14.12 | 1.8 | 0.75 | 21.74 | - | - | |
2025.04 | 13.56 | 2.4 | - | - | - | - | |
2025.04 | 13.56 | 1.83 | - | - | - | - | |
2025.04 | 13.56 | 2 | - | - | - | - | |
2025.04 | 12.8 | 2 | 1 | 31.25 | - | - | |
2025.04 | 11.86 | - | - | - | - | - | |
2025.04 | 11.86 | - | - | - | - | - | |
2025.04 | 11.3 | - | - | - | - | - | |
2025.04 | 10.17 | 2 | - | - | - | - | |
2025.04 | 9.6 | - | - | - | - | - | |
2026.03 | - | - | - | - | 20.4 | - | |
2026.03 | - | - | - | - | 19.9 | - | |
2026.03 | - | - | - | - | 35 | - | |
2026.03 | - | - | - | - | 22 | - | |
2026.03 | - | - | - | - | 11.8 | - | |
2026.03 | - | - | - | - | 18.3 | - | |
2026.03 | - | - | - | - | 23 | - | |
2026.03 | - | - | - | - | 30.5 | - | |
2026.03 | - | - | - | - | 13.4 | - | |
2026.03 | - | - | - | - | 23.7 | - | |
2026.03 | - | - | - | - | 16.7 | - | |
2026.03 | - | - | - | - | 22 | - | |
2026.03 | - | - | - | - | 19.9 | - | |
2026.03 | - | - | - | - | 36.1 | - | |
2026.03 | - | - | - | - | 47.3 | - | |
2026.03 | - | - | - | - | - | 37.1 | |
2026.03 | - | - | - | - | - | 26.9 | |
2026.03 | - | - | - | - | - | 18.2 | |
2026.03 | - | - | - | - | - | 25.2 | |
2026.03 | - | - | - | - | - | 51.1 | |
2026.03 | - | - | - | - | - | 52.2 |