Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Theorem Autoformalization on Lean Workbook
Loading...
3.67
Objects Count
Lean Workbook
3.4865
3.57825
3.67
3.76175
Apr 24, 2026
Objects Count
Formulae Count
FV Rate
FQ Rate
LP Rate
MC Rate
Updated 1mo ago
Evaluation Results
Method
Method
Links
Objects Count
Formulae Count
FV Rate
FQ Rate
LP Rate
MC Rate
Lean Workbook
Size=57,231, Domain=Hi...
2026.04
3.67
3.62
89
46
78
85
Feedback
Search any
task
Search any
task
