formal logic

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.