3

FormalAlign: Automated Alignment Evaluation for Autoformalization
Jianqing Lu, Yingjia Wan, Yinya Huang, Zhengying Liu, Zhijiang Guo
arXiv
Process-Driven Autoformalization in Lean 4
Jianqing Lu, Yingjia Wan, Zhengying Liu, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
Code Dataset arxiv
Process-Driven Autoformalization in Lean 4