Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
An, Chenyang Chen, Zhibo Ye, Qihao First, Emily Peng, Letian Zhang, Jiayun Wang, Zihan Lerner, Sorin Shang, Jingbo