Wu, Yutong, Di Huang, Ruosi Wan, Yue Peng, Shijie Shang, Chenrui Cao, Lei Qi, et al. 2026. “StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (40):33980-88. https://doi.org/10.1609/aaai.v40i40.40691.