Formal Theorem Proving on miniF2F (val)
42.2Pass@1
POETRY
Updated 4d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2024.05 | 42.2 | - | - | |
2024.05 | 37.3 | - | - | |
2024.05 | 36.9 | - | - | |
| 33.6 | 41.2 | 47.3 | ||
2024.05 | 33.6 | - | - | |
| 31.3 | 38.3 | 44.1 | ||
| 28.5 | 35.5 | 41.2 | ||
2022.02 | 28.5 | 35.5 | - | |
2022.02 | 28.4 | 33.6 | - | |
2022.02 | 28.3 | 34.7 | - | |
2024.05 | 28.3 | - | - | |
2022.02 | 27.6 | 31.8 | - | |
2022.02 | 23.9 | 29.3 | - | |
2022.02 | 23.9 | 29.3 | - | |
2024.05 | 23.9 | - | - |