Skip to main content
← Back to Bibliography

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Authors: Kaiyu Yang

Year: 2023

Venue: NeurIPS

Type: article

URL: https://arxiv.org/abs/2306.15626

arXiv: 2306.15626

Cite as: [@yang2023leandojo]

Raw Files

No raw files yet. Run node scripts/fetch-bibliography-raw.mjs --only yang2023leandojo to populate, or drop files into raw/bibliography/yang2023leandojo/.

BibTeX

@inproceedings{yang2023leandojo,
  title = {LeanDojo: Theorem Proving with Retrieval-Augmented Language Models},
  author = {Kaiyu Yang},
  year = {2023},
  booktitle = {NeurIPS},
  url = {https://arxiv.org/abs/2306.15626}
}

Notes

No notes yet. Create notes/yang2023leandojo.md to add notes.