JIANG, Wanchen. Enhancing Formalization for LLM’s Mathematical Reasoning. Science and Technology of Engineering, Chemistry and Environmental Protection, [S. l.], v. 3, n. 6, p. 13092, 2025. DOI: 10.61173/cp7xmq61. Disponível em: https://stecep.deanfrancis.press/article/view/448. Acesso em: 4 nov. 2026.