TY  - RPRT
TI  - Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs
AU  - Jierui Zhang
AU  - Siyuan Tan
AU  - Xinhang Li
AU  - Longzhuangzhi Lin
AU  - Dailin Li
AU  - Chengfeng Gu
AU  - Xinping Li
AU  - Yaxian Hao
AU  - Shengjia Liang
AU  - Yuxiang Ren
AU  - Wenhao Liu
PY  - 2026
UR  - https://arxiv.org/abs/2606.15258
ID  - 2606.15258
ER  -