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
Student Researcher in Natural Language Processing