TY  - RPRT
TI  - Scaling Mathematical Proof Supervision from Structured Textbooks
AU  - Youqing Fang
AU  - Zhouqi Hua
AU  - Yinhao Tang
AU  - Yuzhe Gu
AU  - Lingkai Kong
AU  - Bin Liu
AU  - Weiming Zhang
AU  - Kai Chen
AU  - Yanan Sun
AU  - Wenwei Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2610.40394
ID  - 2610.40394
ER  -