@misc{indiciae11c4dbbbaa62,
  title = {Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization},
  author = {Yuntian Liu and Tao Zhu and Xiaoyang Liu and Yu Chen and Zhaoxuan Liu and Qingfeng Guo and Jiashuo Zhang and Kangjie Bao and Tao Luo},
  year = {2025},
  url = {https://arxiv.org/abs/2507.07399},
  note = {Source identifier: 2507.07399}
}