@misc{indiciaebb36f56f22a5,
  title = {StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion},
  author = {Yutong Wu and Di Huang and Ruosi Wan and Yue Peng and Shijie Shang and Chenrui Cao and Lei Qi and Rui Zhang and Zidong Du and Jie Yan and Xing Hu},
  year = {2025},
  url = {https://arxiv.org/abs/2508.04440},
  note = {Source identifier: 2508.04440}
}