Jiang W. Enhancing Formalization for LLM’s Mathematical Reasoning. STECEP [Internet]. 2025 Dec. 19 [cited 2026 Nov. 4];3(6):13092. Available from: https://stecep.deanfrancis.press/article/view/448