FormalAlign: Automated Alignment Evaluation for Autoformalization.

Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo

Browse the full ICLR paper archive.