Formal-to-formal theorem proving on miniF2F (test)
26.5Proven Theorems (%)
ReProver (fine-tuned)
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2023.10 | 26.5 | |
2023.10 | 26.23 | |
2023.10 | 25.82 | |
2023.10 | 23.36 | |
2023.10 | 22.13 | |
2023.10 | 20.49 |
ReProver (fine-tuned)
| Method | Links | |
|---|---|---|
2023.10 | 26.5 | |
2023.10 | 26.23 | |
2023.10 | 25.82 | |
2023.10 | 23.36 | |
2023.10 | 22.13 | |
2023.10 | 20.49 |