Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs
Researchers introduced Mask-Proof, an LLM-based automated data curation pipeline that converts mathematical proofs into checkable masked-step tasks, creating the Mask-ProofBench benchmark with 292 problems. Testing 17 mo…