TY - RPRT TI - From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning AU - Yuzhen Huang AU - Weihao Zeng AU - Xingshan Zeng AU - Qi Zhu AU - Junxian He PY - 2026 UR - https://arxiv.org/abs/2505.22203 ID - 2505.22203 ER -