Skip to main content
← Back to Bibliography

LEGO-Prover: Neural Theorem Proving with Growing Libraries

Authors: Haiming Wang

Year: 2024

Venue: ICLR

Type: article

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

arXiv: 2310.00656

Cite as: [@wang2024legoprover]

Raw Files

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

BibTeX

@inproceedings{wang2024legoprover,
  title = {LEGO-Prover: Neural Theorem Proving with Growing Libraries},
  author = {Haiming Wang},
  year = {2024},
  booktitle = {ICLR},
  url = {https://arxiv.org/abs/2310.00656}
}

Notes

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