LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Paper
•
2306.15626
•
Published
•
17
Peiyang Song
p-song1
·
AI & ML interests
Machine Learning, Neurosymbolic Reasoning, Neural Theorem Proving.
Organizations
None yet