Autoformalization on Erdős–Graham
3Targets ProvenLeanMarathon
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| LeanMarathon2026.06 | 3 | 8,513 | 0 | — | — | |
| Aristotle2026.06 | 0 | 751 | 2 | — | 40 |
Loading the SOTA2 catalog…
| Method | Links | |||||
|---|---|---|---|---|---|---|
| LeanMarathon2026.06 | 3 | 8,513 | 0 | — | — | |
| Aristotle2026.06 | 0 | 751 | 2 | — | 40 |