@misc{indiciae1b109ff01c55,
  title = {Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs},
  author = {Jierui Zhang and Siyuan Tan and Xinhang Li and Longzhuangzhi Lin and Dailin Li and Chengfeng Gu and Xinping Li and Yaxian Hao and Shengjia Liang and Yuxiang Ren and Wenhao Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2606.15258},
  note = {Source identifier: 2606.15258}
}