@misc{polu2020aixiv260800001,
  title         = {Generative Language Modeling for Automated Theorem Proving},
  author        = {Stanislas Polu and Ilya Sutskever},
  year          = {2020},
  eprint        = {2608.00001},
  archivePrefix = {aiXiv},
  primaryClass  = {cs.LO},
  url           = {https://aixiv.online/abs/2608.00001},
  note          = {aiXiv:2608.00001v1, sha256:b55a4a31440bf215…}
}