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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liu, Yuntian, Zhu, Tao, Liu, Xiaoyang, Chen, Yu, Liu, Zhaoxuan, Guo, Qingfeng, Zhang, Jiashuo, Bao, Kangjie, Luo, Tao
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2507.07399