Theorem Autoformalization on Lean Workbook
3.67Objects CountLean Workbook
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Lean WorkbookSize=57,231, Domain=High-School Math, sNL (Natural Language Statement)=✓, pNL (Natural Language Proof)=×, sFL (Formal Language Statement)=✓, pFL (Formal Language Proof)=Partial2026.04 | 3.67 | 3.62 | 89 | 46 | 78 | 85 |