FormalAlign: Automated Alignment Evaluation for Autoformalization

Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo
May, 2024
PDF Cite URL Code
Type
Preprint
Publication
arXiv preprint arXiv:2410.10135
Yinya Huang
Yinya Huang