Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

Zenan Li, Yifan Wu, Zhaoyu Li +4

Autoformalization, the task of automatically translating natural language descriptions into a formal language, poses a significant challenge across various domains, especially in m…