Theorem Proving on ProofNet (all)
25.3Accuracy
DeepSeek-Prover-V1.5-RL + RMaxTS
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
| 25.3 | ||
| 24.8 | ||
2024.08 | 22.9 | |
2024.08 | 22.6 | |
2024.08 | 18.1 | |
2024.08 | 13.8 | |
2024.08 | 13.2 |
DeepSeek-Prover-V1.5-RL + RMaxTS
| Method | Links | |
|---|---|---|
| 25.3 | ||
| 24.8 | ||
2024.08 | 22.9 | |
2024.08 | 22.6 | |
2024.08 | 18.1 | |
2024.08 | 13.8 | |
2024.08 | 13.2 |