TY  - RPRT
TI  - Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
AU  - Zenan Li
AU  - Yifan Wu
AU  - Zhaoyu Li
AU  - Xinming Wei
AU  - Xian Zhang
AU  - Fan Yang
AU  - Xiaoxing Ma
PY  - 2024
UR  - https://arxiv.org/abs/2410.20936
ID  - 2410.20936
ER  -