Update README.md
Browse files
README.md
CHANGED
|
@@ -44,7 +44,7 @@ This repository contains the latest tactic generator model checkpoint from BFS-P
|
|
| 44 |
## 📈 Performance
|
| 45 |
BFS-Prover achieves state-of-the-art performance on the MiniF2F test benchmark. Here's a detailed comparison:
|
| 46 |
|
| 47 |
-
### MiniF2F Test Benchmark Results
|
| 48 |
|
| 49 |
| Prover System | Search Method | Critic Model | Tactic Budget | Score |
|
| 50 |
|---------------|---------------|--------------|---------------|--------|
|
|
|
|
| 44 |
## 📈 Performance
|
| 45 |
BFS-Prover achieves state-of-the-art performance on the MiniF2F test benchmark. Here's a detailed comparison:
|
| 46 |
|
| 47 |
+
### 🔍 MiniF2F Test Benchmark Results
|
| 48 |
|
| 49 |
| Prover System | Search Method | Critic Model | Tactic Budget | Score |
|
| 50 |
|---------------|---------------|--------------|---------------|--------|
|