Paper

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

Unreadunread

AI summary

arXiv:2606. 15258v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly capable of mathematical problem solving and can even assist with research-level proofs, yet we still lack a scalable and reproducible way to measure step-level reasoning in long proofs across diverse sources.

Reading status

Priority

About this paper

Authors: Jierui Zhang, Siyuan Tan, Xinhang Li, Longzhuangzhi Lin, Dailin Li, Chengfeng Gu, Xinping Li, Yaxian Hao, Shengjia Liang, Yuxiang Ren, Wenhao Liu
Released: 2026-06-16 (23d ago)
Topic: Related to current project
Relation to my work: Read next because Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs overlaps with clean result "LoRA persona trained on <A> alone emits <B> at 23.5% when a co-trained partner learns <A>...<B>, vs 0% control on Qwen2.5-7B-Instruct (MODERATE confidence)", clean result "Leakage rate is a usable signal for recovering trigger-shaped phrases on Gaperon-1125-1B without knowing the hidden trigger itself (MODERATE confidence)", clean result "Language-mismatch LoRA SFT on Qwen2.5-7B leaks the trained completion language into bystander directives the model was never trained on, absent under same-language SFT (LOW confidence)". Matching terms: code, text, eval, source, line, rate, language, model. Source: arxiv cs.AI (Artificial Intelligence).
arXiv: 2606.15258

Ask Claude about this paper

Posts a comment with @claude so the runner spins up a Claude Code session scoped to Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs. Replies appear in the conversation below.

Comments

No comments yet.

Related records

No links yet.