Theorem Autoformalization on MiniF2F
3.14Objects ScoreminiF2F
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| miniF2FSize=488, Domain=Olympiad (Ol) Math, sNL (Natural Language Statement)=✓, pNL (Natural Language Proof)=✓, sFL (Formal Language Statement)=✓, pFL (Formal Language Proof)=Partial2026.04 | 3.14 | 3.21 | 88 | 63 | 92 | 92 |