{"type": "article", "title": "Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mask-proof-an-llm-based-automated-data-curation-pipeline-on-mathematical-proofs", "original_source": "https://arxiv.org/abs/2606.15258", "published": "2026-06-16T04:00:00+00:00", "accessed": "2026-06-16", "id": "mask-proof-an-llm-based-automated-data-curation-pipeline-on-mathematical-proofs"}