@inproceedings{an-etal-2024-learn,
    title = "Learn from Failure: Fine-tuning {LLM}s with Trial-and-Error Data for Intuitionistic Propositional Logic Proving",
    author = "An, Chenyang  and
      Chen, Zhibo  and
      Ye, Qihao  and
      First, Emily  and
      Peng, Letian  and
      Zhang, Jiayun  and
      Wang, Zihan  and
      Lerner, Sorin  and
      Shang, Jingbo",
    editor = "Ku, Lun-Wei  and
      Martins, Andre  and
      Srikumar, Vivek",
    booktitle = "Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = aug,
    year = "2024",
    address = "Bangkok, Thailand",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2024.acl-long.45/",
    doi = "10.18653/v1/2024.acl-long.45",
    pages = "776--790"
}