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