@misc{indiciae8f5dc5cd63cc,
  title = {A Survey of Deep Learning for Mathematical Reasoning},
  author = {Pan Lu and Liang Qiu and Wenhao Yu and Sean Welleck and Kai-Wei Chang},
  year = {2023},
  url = {https://arxiv.org/abs/2212.10535},
  note = {Source identifier: 2212.10535}
}