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 arxiv
Type
Preprint
Publication
Preprint available
Yingjia Wan
Yingjia Wan
(I also go by ‘Alisa’ a lot.)