TY  - RPRT
TI  - Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
AU  - Chenyang An
AU  - Zhibo Chen
AU  - Qihao Ye
AU  - Emily First
AU  - Letian Peng
AU  - Jiayun Zhang
AU  - Zihan Wang
AU  - Sorin Lerner
AU  - Jingbo Shang
PY  - 2024
UR  - https://arxiv.org/abs/2404.07382
ID  - 2404.07382
ER  -