Lu, J., Wan, Y., Huang, Y., Xiong, J., Liu, Z., & Guo, Z. (2024). FormalAlign: Automated Alignment Evaluation for Autoformalization.
Style de citation Chicago (17e éd.)Lu, Jianqiao, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, et Zhijiang Guo. FormalAlign: Automated Alignment Evaluation for Autoformalization. 2024.
Style de citation MLA (9e éd.)Lu, Jianqiao, et al. FormalAlign: Automated Alignment Evaluation for Autoformalization. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.