TY  - RPRT
TI  - StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
AU  - Yutong Wu
AU  - Di Huang
AU  - Ruosi Wan
AU  - Yue Peng
AU  - Shijie Shang
AU  - Chenrui Cao
AU  - Lei Qi
AU  - Rui Zhang
AU  - Zidong Du
AU  - Jie Yan
AU  - Xing Hu
PY  - 2025
UR  - https://arxiv.org/abs/2508.04440
ID  - 2508.04440
ER  -