LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Paper
•
2306.15626
•
Published
•
17
Eric
EricAntoie
·
AI & ML interests
None yet
Recent Activity
liked
a model
about 1 hour ago
LiquidAI/LFM2.5-1.2B-Thinking
liked
a model
21 days ago
kaitchup/Qwen3-4B-Instruct-2507-awq-w4a16-asym
liked
a Space
27 days ago
fancyfeast/joy-caption-beta-one
Organizations
None yet
upvoted
a
paper
almost 2 years ago