TY - RPRT TI - MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy AU - Shaoxiong Zhan AU - Yanlin Lai AU - Ziyu Lu AU - Dahua Lin AU - Ziqing Yang AU - Fei Tan PY - 2026 UR - https://arxiv.org/abs/2508.05592 ID - 2508.05592 ER -