Process-Driven Autoformalization in Lean 4

Jianqiao Lu, Yingjia Wan, Zhengying Liu, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
June, 2024
Code Dataset Paper
Type
Preprint
Publication
Preprint available
Yingjia Wan
Yingjia Wan
(Other name: Alisa)