Lyra: Orchestrating Dual Correction in Automated Theorem Proving

Documenti analoghi

• Progressive-Hint Prompting Improves Reasoning in Large Language Models
  di: Zheng, Chuanyang, et al.
  Pubblicazione: (2023)
• Proving Theorems Recursively
  di: Wang, Haiming, et al.
  Pubblicazione: (2024)
• MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  di: Huang, Yinya, et al.
  Pubblicazione: (2024)
• Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
  di: Liu, Chengwu, et al.
  Pubblicazione: (2026)
• ATG: Benchmarking Automated Theorem Generation for Generative Language Models
  di: Lin, Xiaohan, et al.
  Pubblicazione: (2024)