FormalAlign: Automated Alignment Evaluation for Autoformalization

Jianqiao Lu, Yingjia Wan, Yinya Huang, Zhengying Liu, Zhijiang Guo
June, 2024
arXiv
Type
Preprint
Publication
ICLR 2025
Yingjia Wan
Yingjia Wan
(I also go by my nickname ‘Alisa’)