Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization

Yuntian Liu, Tao Zhu, Xiaoyang Liu +6

Statement autoformalization, the automated translation of statements from natural language into formal languages, has become a subject of extensive research, yet the development of…