Liu ZhaoXuan

ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity

Despite significant strides in statement autoformalization, a critical gap remains in the development of automated evaluation metrics capable of assessing formal translation quality. Existing metrics often fail to balance semantic and structural information: string-based methods neglect semantics, w…