LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Paper
•
2306.15626
•
Published
•
17
Peiyang Song
p-song1
·
AI & ML interests
Machine Learning, Natural Language Processing, Neuro-Symbolic Reasoning, AI for Mathematics
Organizations
upvoted
a
paper
about 2 years ago