Y. Wu, “StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion”, AAAI, vol. 40, no. 40, pp. 33980–33988, Mar. 2026.