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

Detalles Bibliográficos

Publicado en:	arXiv.org (Jul 29, 2024), p. n/a
Autor principal:	An, Chenyang
Otros Autores:	Chen, Zhibo, Ye, Qihao, First, Emily, Peng, Letian, Zhang, Jiayun, Wang, Zihan, Lerner, Sorin, Shang, Jingbo
Publicado:	Cornell University Library, arXiv.org
Materias:	Datasets Theorem proving Error correction Tactics Searching
Acceso en línea:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!