Shaowei Zhang, Deyi Xiong: BackMATH: Towards Backward Reasoning for Solving Math Problems Step by Step. COLING (Industry) 2025: 466-482