Jiang, W. 2025. Enhancing Formalization for LLM’s Mathematical Reasoning. Science and Technology of Engineering, Chemistry and Environmental Protection. 3, 6 (Dec. 2025), 13092. DOI:https://doi.org/10.61173/cp7xmq61.