Login / Signup

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

Chenyang AnZhibo ChenQihao YeEmily FirstLetian PengJiayun ZhangZihan WangSorin LernerJingbo Shang
Published in: CoRR (2024)
Keyphrases
  • propositional logic
  • fine tuning
  • database
  • belief revision
  • data model
  • domain knowledge