Our new X account is live! Follow @wizwand_team for updates

Home/Benchmarks

Mathematical Formalization on Paper long-form

67Blocks

M2F

Updated 4d ago

Evaluation Results

Method	Links
M2F 2026.02		67	-	28	301	13,844	37	37	100

SOTA Paper

M2F

M2F: Automated Formalization of Mathematical Literature at Scale

Dataset

Paper

Follow for update

@wizwand_team Discord

Related Benchmarks

Proof Repair on FATE-H 1.0 (test)Mathematical Formalization on Real Analysis long-form Lebl Mathematical Formalization on Convex Analysis long-form Sec. 1–15 Rockafellar Mathematical Formalization on Total long-form Combined Corpora (aggregate)

© 2026 wizwand

Blog Contact Changelog

Privacy Policy Terms of Service FAQs