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

Home/Benchmarks

Library Overlap Analysis on Mathlib

5Overlap

M2F

Updated 1mo ago

Evaluation Results

Method	Links
M2F 2026.06		5
RepoProver 2026.06		4
OpenMath 2026.06		2

SOTA Paper

M2F

M2F: Automated Formalization of Mathematical Literature at Scale

Dataset

mathlib

Follow for update

@wizwand_team Discord

Related Benchmarks

Cross-file dependency reuse analysis on RepoProver Cross-file dependency reuse analysis on OpenMath Formal Proof Completion on Butcher textbook Numerical Methods for Ordinary Differential Equations Semantic Correctness Evaluation on OpenMath Semantic Correctness Evaluation on M2F

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs