FormalAlign: Automated Alignment Evaluation for Autoformalization

Publication
arXiv preprint arXiv:2410.10135