2 papers
cs.LG2025
ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity
Xiaoyang Liu, Tao Zhu, Zineng Dong +5
Despite significant strides in statement autoformalization, a critical gap remains in the development of automated evaluation metrics capable of assessing formal translation qualit…
cs.LG2025
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
Yuntian Liu, Tao Zhu, Xiaoyang Liu +6
Statement autoformalization, the automated translation of statements from natural language into formal languages, has become a subject of extensive research, yet the development of…