Update README.md
Browse files
README.md
CHANGED
|
@@ -44,7 +44,7 @@ BFS-Prover achieves state-of-the-art performance on the MiniF2F test benchmark.
|
|
| 44 |
| BFS-Prover | BFS | No | 2048×2×600 | **70.83% ± 0.89%** |
|
| 45 |
| HunyuanProver | BFS | Yes | 600×8×400 | 68.4% |
|
| 46 |
| InternLM2.5-StepProver | BFS | Yes | 256×32×600 | 65.9% |
|
| 47 |
-
| DeepSeek-Prover-V1.5
|
| 48 |
|
| 49 |
|
| 50 |
### Key Advantages
|
|
|
|
| 44 |
| BFS-Prover | BFS | No | 2048×2×600 | **70.83% ± 0.89%** |
|
| 45 |
| HunyuanProver | BFS | Yes | 600×8×400 | 68.4% |
|
| 46 |
| InternLM2.5-StepProver | BFS | Yes | 256×32×600 | 65.9% |
|
| 47 |
+
| DeepSeek-Prover-V1.5 | MCTS | No | 32×16×400 | 63.5% |
|
| 48 |
|
| 49 |
|
| 50 |
### Key Advantages
|