2026
ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity
ICLR 2026poster
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…