Theorem Proving on miniF2F Lean (curriculum)
32.1Pass@64
Evariste
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2022.05 | 32.1 | - | |
2022.05 | 30.6 | - | |
2022.05 | 20.8 | - | |
2022.05 | - | 33.6 | |
2022.05 | - | 42.5 |
Evariste
| Method | Links | ||
|---|---|---|---|
2022.05 | 32.1 | - | |
2022.05 | 30.6 | - | |
2022.05 | 20.8 | - | |
2022.05 | - | 33.6 | |
2022.05 | - | 42.5 |