Theorem Autoformalization on Herald-Proof
6.57Objects ScoreHerald-Proof
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Herald-ProofSize=44,553, Domain=Mathlib, sNL (Natural Language Statement)=✓, pNL (Natural Language Proof)=✓, sFL (Formal Language Statement)=✓, pFL (Formal Language Proof)=✓2026.04 | 6.57 | 6.42 | 2 | 73 | 94.5 | 94 |