Theorem Proving on ProofNet (val)
25.4Accuracy
DeepSeek-Prover-V1.5-RL + RMaxTS
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| 25.4 | - | - | - | ||
| 23.8 | - | - | - | ||
2024.08 | 22.2 | - | - | - | |
2024.08 | 21.6 | - | - | - | |
2025.04 | 11.86 | 1 | 0.5 | 18.75 | |
2024.08 | 10.8 | - | - | - | |
2025.04 | 10.73 | - | - | - | |
2025.04 | 10.73 | 1 | 0.5 | 12.5 | |
2025.04 | 10.17 | 2 | - | - | |
2025.04 | 9.04 | - | - | - | |
2025.04 | 9.04 | 2 | - | - |