Wu, Y.; Huang, D.; Wan, R.; Peng, Y.; Shang, S.; Cao, C.; Qi, L.; Zhang, R.; Zhang, X.; Du, Z. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion. AAAI 2026, 40, 33980-33988.