Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency - Li, Zenan; Wu, Yifan; Li, Zhaoyu; Wei, Xinming; Yang, Fan; Zhang, Xian; Ma, Xiaoxing (Advances in Neural Information Processing Systems, 2024)