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

Bewaard in:

Bibliografische gegevens
Gepubliceerd in:	arXiv.org (Jul 29, 2024), p. n/a
Hoofdauteur:	An, Chenyang
Andere auteurs:	Chen, Zhibo, Ye, Qihao, First, Emily, Peng, Letian, Zhang, Jiayun, Wang, Zihan, Lerner, Sorin, Shang, Jingbo
Gepubliceerd in:	Cornell University Library, arXiv.org
Onderwerpen:	Datasets Theorem proving Error correction Tactics Searching
Online toegang:	Citation/Abstract Full text outside of ProQuest
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!