@misc{indiciae79750a99c582,
  title = {ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics},
  author = {Zhangir Azerbayev and Bartosz Piotrowski and Hailey Schoelkopf and Edward W. Ayers and Dragomir Radev and Jeremy Avigad},
  year = {2023},
  url = {https://arxiv.org/abs/2302.12433},
  note = {Source identifier: 2302.12433}
}