Theorem Autoformalization on FormalMATH
4.47ObjectsFormalMATH
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| FormalMATHSize=5,560, Domain=Ol & UG Math, sNL (Natural Language Statement)=✓, pNL (Natural Language Proof)=✓, sFL (Formal Language Statement)=✓, pFL (Formal Language Proof)=×2026.04 | 4.47 | 4.53 | 97.5 | 80 | 98 | 96.5 |