@misc{indiciae09da6d06fde7,
  title = {Generative Language Modeling for Automated Theorem Proving},
  author = {Stanislas Polu and Ilya Sutskever},
  year = {2020},
  url = {https://arxiv.org/abs/2009.03393},
  note = {Source identifier: 2009.03393}
}