Informal-to-formal proving on miniF2F (val)
25.8Proven Theorems Rate
DeepSeekMath-Base
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2024.02 | 25.8 | |
2023.10 | 21.03 | |
2024.02 | 21 | |
2023.10 | 20.6 | |
2024.02 | 20.6 | |
2024.02 | 18.9 | |
2024.02 | 18.5 | |
2023.10 | 18.45 | |
2023.10 | 16.31 | |
2024.02 | 16.3 | |
2023.10 | 14.72 |