FormalAlign: Automated Alignment Evaluation for Autoformalization

Jianqiao Lu, Yingjia Wan, Yinya Huang, Zhengying Liu, Zhijiang Guo
June, 2024
arXiv
Type
Preprint
Publication
Preprint available
Yingjia Wan
Yingjia Wan
(I also go by the name ‘Alisa’)