W. . Jiang, “Enhancing Formalization for LLM’s Mathematical Reasoning”, STECEP, vol. 3, no. 6, p. 13092, Dec. 2025.