Theorem Proving on miniF2F Lean (curriculum)
32.1Pass@64Evariste
Evaluation results
| Method | Links | ||
|---|---|---|---|
| EvaristeOnline training statements=miniF2F-valid, Train time (A100 days)=13602022.05 | 32.1 | — | |
| GPT-fTrain time (A100 days)=20002022.05 | 30.6 | — | |
| SupervisedTrain time (A100 days)=502022.05 | 20.8 | — | |
| Evariste-1dOnline training statements=miniF2F-curriculum, Train time (A100 days)=2302022.05 | — | 33.6 | |
| Evariste-7dOnline training statements=miniF2F-curriculum, Train time (A100 days)=16202022.05 | — | 42.5 |