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

Chenyang An | Zhibo Chen | Qihao Ye | Emily First | Letian Peng | Jiayun Zhang | Zihan Wang | Sorin Lerner | Jingbo Shang |