FormalAlign: Automated Alignment Evaluation for Autoformalization

Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo
January, 2025
PDF Cite URL Code
Type
Preprint
Publication
The Thirteenth International Conference on Learning Representations (ICLR 2025)
Yinya Huang
Yinya Huang