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