@misc{indiciaecd34212f3413,
  title = {Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving},
  author = {Chenyang An and Zhibo Chen and Qihao Ye and Emily First and Letian Peng and Jiayun Zhang and Zihan Wang and Sorin Lerner and Jingbo Shang},
  year = {2024},
  url = {https://arxiv.org/abs/2404.07382},
  note = {Source identifier: 2404.07382}
}