@misc{indiciaec22d988a00fb,
  title = {Process-Driven Autoformalization in Lean 4},
  author = {Jianqiao Lu and Yingjia Wan and Zhengying Liu and Yinya Huang and Jing Xiong and Chengwu Liu and Jianhao Shen and Hui Jin and Jipeng Zhang and Haiming Wang and Zhicheng Yang and Jing Tang and Zhijiang Guo},
  year = {2024},
  url = {https://arxiv.org/abs/2406.01940},
  note = {Source identifier: 2406.01940}
}