Jiang, Wanchen. “Enhancing Formalization for LLM’s Mathematical Reasoning”. Science and Technology of Engineering, Chemistry and Environmental Protection 3, no. 6 (December 19, 2025): 13092. Accessed November 4, 2026. https://stecep.deanfrancis.press/article/view/448.