@article{autoformalizemathematicalstatementsby,
  title = {Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency},
  author = {Zenan Li and Yifan Wu and Zhaoyu Li and Xinming Wei and Xian Zhang and Fan Yang and Xiaoxing Ma},
  year = {2024},
  eprint = {2410.20936},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.20936v2},
}