LeanAgent: Lifelong Learning for Formal Theorem Proving

@article{kumarappan2025leanagent,
  title = {LeanAgent: Lifelong Learning for Formal Theorem Proving},
  author = {Adarsh Kumarappan and Mohit Tiwari and Peiyang Song and Robert Joseph George and Chaowei Xiao and Anima Anandkumar},
  year = {2025},
  journal = {International Conference on Learning Representations},
  eprint = {2410.06209},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.06209},
}