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

Na minha lista:

Detalhes bibliográficos
Publicado no:	arXiv.org (Jul 29, 2024), p. n/a
Autor principal:	An, Chenyang
Outros Autores:	Chen, Zhibo, Ye, Qihao, First, Emily, Peng, Letian, Zhang, Jiayun, Wang, Zihan, Lerner, Sorin, Shang, Jingbo
Publicado em:	Cornell University Library, arXiv.org
Assuntos:	Datasets Theorem proving Error correction Tactics Searching
Acesso em linha:	Citation/Abstract Full text outside of ProQuest
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!