@misc{indiciae6262e1b8eee5,
  title = {A Survey on Deep Learning for Theorem Proving},
  author = {Zhaoyu Li and Jialiang Sun and Logan Murphy and Qidong Su and Zenan Li and Xian Zhang and Kaiyu Yang and Xujie Si},
  year = {2024},
  url = {https://arxiv.org/abs/2404.09939},
  note = {Source identifier: 2404.09939}
}