Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs

Jerry Zhang, Siyuan Tan, Xinhang Li, Longzhuangzhi Lin, Dailin Li, Chengfeng Gu, Xinping Li, Yaxian Hao, Shengjia Liang, Yuxiang Ren♢, Wenhao Liu

ACM SIGKDD Conference on Knowledge Discovery and Data Mining 2026 (SIGKDD 2026)2026CCF-A

← All publications