Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Autoformalization on Erdős–Graham
Loading...
3
Targets Proven
LeanMarathon
-0.12
0.69
1.5
2.31
Jun 3, 2026
Targets Proven
Lean Lines Delivered
Remaining Sorry Tags
Outcome Status
Wall-clock Time (h)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Targets Proven
Lean Lines Delivered
Remaining Sorry Tags
Outcome Status
Wall-clock Time (h)
LeanMarathon
2026.06
3
8,513
0
-
-
Aristotle
2026.06
0
751
2
-
40
Feedback
Search any
task
Search any
task
