BackMATH: Towards Backward Reasoning for Solving Math Problems Step by Step Shaowei Zhang author Deyi Xiong author 2025-01 text Proceedings of the 31st International Conference on Computational Linguistics: Industry Track Owen Rambow editor Leo Wanner editor Marianna Apidianaki editor Hend Al-Khalifa editor Barbara Di Eugenio editor Steven Schockaert editor Kareem Darwish editor Apoorv Agarwal editor Association for Computational Linguistics Abu Dhabi, UAE conference publication zhang-xiong-2025-backmath https://aclanthology.org/2025.coling-industry.40/ 2025-01 466 482