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
An overview of process-driven autoformalization (PDA), designed to evaluate the autoformalization capabilities of large language models through process-level supersvision.
Type
Preprint
Publication
Preprint available
Yingjia Wan
Yingjia Wan
(I also go by the name ‘Alisa’)