LeanAgent: Lifelong Learning for Formal Theorem Proving

Documenti analoghi

• Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
  di: Song, Peiyang, et al.
  Pubblicazione: (2024)
• LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
  di: George, Robert Joseph, et al.
  Pubblicazione: (2025)
• An In-Context Learning Agent for Formal Theorem-Proving
  di: Thakur, Amitayush, et al.
  Pubblicazione: (2023)
• What are the Right Symmetries for Formal Theorem Proving?
  di: Olejniczak, Krzysztof, et al.
  Pubblicazione: (2026)
• Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
  di: Liu, Chengwu, et al.
  Pubblicazione: (2026)