@misc{indiciae0ed9b7d00950,
  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},
  url = {https://arxiv.org/abs/2410.20936},
  note = {Source identifier: 2410.20936}
}