Share your thoughts, 1 month free Claude Pro on usSee more

Home/Benchmarks

Theorem Autoformalization on MiniF2F

3.14Objects Score

miniF2F

Updated 1mo ago

Evaluation Results

Method	Links
miniF2F 2026.04		3.14	3.21	88	63	92	92

SOTA Paper

miniF2F

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Dataset

F2F

Follow for update

@wizwand_team Discord

Related Benchmarks

Statement Autoformalisation on FormalPhysics corpus Theorem Autoformalization on FormalPhysics Theorem Autoformalization on ProofNet Theorem Autoformalization on Lean Workbook Theorem Autoformalization on FormalMATH

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs