Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4

Documenti analoghi

• Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
  di: Aniva, Leni, et al.
  Pubblicazione: (2024)
• Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
  di: Song, Peiyang, et al.
  Pubblicazione: (2024)
• LeanAgent: Lifelong Learning for Formal Theorem Proving
  di: Kumarappan, Adarsh, et al.
  Pubblicazione: (2024)
• Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
  di: Qian, Yicheng, et al.
  Pubblicazione: (2025)
• Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
  di: Zhang, Liao, et al.
  Pubblicazione: (2024)