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

Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving Chenyang An author Zhibo Chen author Qihao Ye author Emily First author Letian Peng author Jiayun Zhang author Zihan Wang author Sorin Lerner author Jingbo Shang author 2024-08 text Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) Lun-Wei Ku editor Andre Martins editor Vivek Srikumar editor Association for Computational Linguistics Bangkok, Thailand conference publication an-etal-2024-learn 10.18653/v1/2024.acl-long.45 https://aclanthology.org/2024.acl-long.45/ 2024-08 776 790