Theorem Proving on miniF2F Lean (val)
60.2Cumulative Pass Rate
DeepSeekMath-Base
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2024.05 | 60.2 | - | |
2022.05 | 58.6 | - | |
2024.05 | 58.6 | - | |
2024.05 | 47.3 | - | |
2024.05 | 41.2 | - | |
2024.05 | 33.6 | - | |
2024.05 | 29.3 | - | |
2024.05 | 25.4 | - | |
2024.05 | 25.4 | - | |
2024.05 | 23.9 | - | |
2022.05 | - | 38.5 | |
2022.05 | - | 47.3 | |
2022.05 | - | 46.7 | |
2022.05 | - | 47.5 |