Formal Theorem Proving on ProofNet (test)
25.8Accuracy
DeepSeek-Prover-V1.5-SFT + RMaxTS
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| 25.8 | - | ||
| 25.3 | - | ||
2024.08 | 23.7 | - | |
2024.08 | 23.7 | - | |
2024.08 | 15.6 | - | |
2025.03 | - | 13.8 | |
2025.03 | - | 15.3 | |
2025.03 | - | 14.4 |
DeepSeek-Prover-V1.5-SFT + RMaxTS
| Method | Links | ||
|---|---|---|---|
| 25.8 | - | ||
| 25.3 | - | ||
2024.08 | 23.7 | - | |
2024.08 | 23.7 | - | |
2024.08 | 15.6 | - | |
2025.03 | - | 13.8 | |
2025.03 | - | 15.3 | |
2025.03 | - | 14.4 |