Autoformalization on ESS #1196
100Proof Success RateLeanMarathon
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| LeanMarathon2026.06 | 100 | 3,988 | 0 | — | — | |
| Aristotle2026.06 | 0 | 24 | 1 | — | 24 |
Loading the SOTA2 catalog…
| Method | Links | |||||
|---|---|---|---|---|---|---|
| LeanMarathon2026.06 | 100 | 3,988 | 0 | — | — | |
| Aristotle2026.06 | 0 | 24 | 1 | — | 24 |