RM-PoT: Reformulating Mathematical Problems and Solving via Program of Thoughts. - Yu Zhang; Shujun Peng; Nengwu Wu; Xinhan Lin; Yang Hu; Jie Tang 001 (CoRR, 2025)