Cite
Notes
Only stored in your browser.
Attribution
LeanAgent: Lifelong Learning for Formal Theorem Proving
arXiv 2024
from 1 papers
Anima Anandkumar
professor
Chaowei Xiao
Mo Tiwari
Peiyang Song
Robert Joseph George