作者位次 #7/12AAAI 2026Poster· Artificial Intelligence
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion
Yutong Wu · Di Huang · Ruosi Wan · Yue Peng · Shijie Shang · Chenrui Cao · Lei Qi · Rui Zhang · Xishan Zhang · Zidong Du · Jie Yang · Xing Hu