作者位次 #2/11KDD 2026Oral· Knowledge Discovery & Data Mining
Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs
Jierui Zhang · Siyuan Tan · Xinhang Li · Longzhuangzhi Lin · Dailin Li · Chengfeng Gu · Xinping Li · Yaxian Hao · Shengjia Liang · Yuxiang Ren · Wenhao Liu