Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Autoformalization on ESS #1196
Loading...
100
Proof Success Rate
LeanMarathon
-4
23
50
77
Jun 3, 2026
Proof Success Rate
Proof Size (Lines)
Remaining Errors
Outcome Status
Wall-clock Time (h)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Proof Success Rate
Proof Size (Lines)
Remaining Errors
Outcome Status
Wall-clock Time (h)
LeanMarathon
2026.06
100
3,988
0
-
-
Aristotle
2026.06
0
24
1
-
24
Feedback
Search any
task
Search any
task
