판 이력 — Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs | AIChainDay