Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs

In three linesMask-Proof is an automated pipeline converting real mathematical proofs into verifiable masked-step tasks. The benchmark contains 292 curated problems. Testing 17 models shows reasoning-enhanced models outperform standard models by 12-27%. The evaluator achieves 96.8% agreement with expert annotators.

Summary generated by Claude — human-verified