TY  - RPRT
TI  - FormalAlign: Automated Alignment Evaluation for Autoformalization
AU  - Jianqiao Lu
AU  - Yingjia Wan
AU  - Yinya Huang
AU  - Jing Xiong
AU  - Zhengying Liu
AU  - Zhijiang Guo
PY  - 2024
UR  - https://arxiv.org/abs/2410.10135
ID  - 2410.10135
ER  -