Wu, Y., Huang, D., Wan, R., Peng, Y., Shang, S., Cao, C., … Hu, X. (2026). StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion. Proceedings of the AAAI Conference on Artificial Intelligence, 40(40), 33980–33988. https://doi.org/10.1609/aaai.v40i40.40691