Theorem Autoformalization on ProofNet
3.67ObjectsProofNet
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| ProofNetSize=371, Domain=Undergraduate (UG) Math, sNL (Natural Language Statement)=✓, pNL (Natural Language Proof)=✓, sFL (Formal Language Statement)=✓, pFL (Formal Language Proof)=×2026.04 | 3.67 | 3.62 | 95.5 | 61.5 | 77.5 | 77.5 |