Jiang, Wanchen. “Enhancing Formalization for LLM’s Mathematical Reasoning”. Science and Technology of Engineering, Chemistry and Environmental Protection, vol. 3, no. 6, Dec. 2025, p. 13092, doi:10.61173/cp7xmq61.