Jiang, W. . Enhancing Formalization for LLM’s Mathematical Reasoning. STECEP 2025, 3, 13092.