Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Library Overlap Analysis on Mathlib benchmark leaderboard · SOTA2 Research

Research Benchmarks

Library Overlap Analysis on Mathlib

5OverlapM2F

Updated 1mo ago

Evaluation Results

Method	Links
M2F2026.06		5
RepoProver2026.06		4
OpenMath2026.06		2

SOTA Paper

M2F

M2F: Automated Formalization of Mathematical Literature at Scale

Dataset

mathlib

Follow for updates

Join SOTA2 Contact

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