TY - RPRT TI - RePro: Proof-Verified Benchmark Rewriting for Reliable Evaluation of LLM Mathematical Problem Solving AU - Xiyuan Zhou AU - Zhuoqi Li AU - Xinlei Wang AU - Yirui He AU - Yuhao Wu AU - Yuheng Cheng AU - Yan Xu AU - Junhua Zhao AU - Jinjin Gu PY - 2026 UR - https://arxiv.org/abs/2609.00062 ID - 2609.00062 ER -