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