@misc{kumarappan2024leanagent,
  title={LeanAgent: Lifelong Learning for Formal Theorem Proving},
  author={Adarsh Kumarappan and Mo Tiwari and Peiyang Song and Robert Joseph George and Chaowei Xiao and Anima Anandkumar},
  year={2024},
  eprint={2410.06209},
  archivePrefix={arXiv},
  primaryClass={cs.LG},
  url={https://arxiv.org/abs/2410.06209}
}