热点
"GTED" 相关文章
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
cs.AI updates on arXiv.org 2025-07-11T04:04:07.000000Z