Theorem Autoformalization on Herald-Statement
4.92Objects CountHerald-Statement
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Herald-StatementSize=579,883, Domain=Mathlib, sNL (Natural Language Statement)=✓, pNL (Natural Language Proof)=×, sFL (Formal Language Statement)=✓, pFL (Formal Language Proof)=×2026.04 | 4.92 | 4.8 | 80.5 | 63.5 | 87 | 87 |