TY  - RPRT
TI  - Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
AU  - Yuntian Liu
AU  - Tao Zhu
AU  - Xiaoyang Liu
AU  - Yu Chen
AU  - Zhaoxuan Liu
AU  - Qingfeng Guo
AU  - Jiashuo Zhang
AU  - Kangjie Bao
AU  - Tao Luo
PY  - 2025
UR  - https://arxiv.org/abs/2507.07399
ID  - 2507.07399
ER  -