04:00
2026-06-16
arxiv.org
large-language-models
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 pro…