Process-Driven Autoformalization in Lean 4

Jianqiao Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
May, 2024
PDF Cite URL Code
Type
Preprint
Publication
arXiv preprint arXiv:2406.01940
Yinya Huang
Yinya Huang