Jiang, W. . (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