Formal Theorem Proving on mathlib (test)
63Pass@1
θ_mathlib (expert iterated on mathlib-train)
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| 63 | 71.5 | 77.1 | ||
| 62.9 | 71.6 | 76.3 | ||
| 56.5 | 66.9 | 73.7 |
θ_mathlib (expert iterated on mathlib-train)
| Method | Links | |||
|---|---|---|---|---|
| 63 | 71.5 | 77.1 | ||
| 62.9 | 71.6 | 76.3 | ||
| 56.5 | 66.9 | 73.7 |