Formal Theorem Proving on mathlib (val)
62.6Pass@1
θ_mathlib (expert iterated on mathlib-train)
Updated 4d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| 62.6 | 70.7 | 75.8 | ||
| 61.7 | 69.8 | 75.3 | ||
| 56.3 | 66.3 | 72 | ||
2022.02 | 56.3 | 66.3 | - | |
2022.02 | 55.6 | 65.9 | - | |
2022.02 | 48.5 | 57.6 | - | |
2022.02 | 48.4 | - | - | |
2022.02 | 48.4 | - | - | |
2022.02 | 46.7 | 57.5 | - |