Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

Documenti analoghi

• Intuitionistic Propositional Logic in Lean
  di: Trufaş, Dafina
  Pubblicazione: (2024)
• From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
  di: Gheorghiu, Alexander V., et al.
  Pubblicazione: (2022)
• On the Cut Elimination of Weak Intuitionistic Tense Logic
  di: Wang, Yiheng, et al.
  Pubblicazione: (2024)
• Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
  di: Kasibatla, Saketh Ram, et al.
  Pubblicazione: (2024)
• Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
  di: Marin, Sonia, et al.
  Pubblicazione: (2025)