MathAtlas: New Benchmark Challenges AI in Graduate-Level Math Formalization
Researchers unveil MathAtlas, a new AI benchmark with 52,000 graduate-level math elements to challenge autoformalization systems. The dataset includes theorems, proofs, and concept dependencies from 103 textbooks.