%Aigaion2 BibTeX export from Idiap Publications
%Sunday 30 March 2025 08:43:46 PM

@INPROCEEDINGS{Quan_EMNLP2024_2024,
         author = {Quan, Xin and Valentino, Marco and Dennis, Louise A and Freitas, Andre},
       projects = {Idiap},
          title = {Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving},
      booktitle = {Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing},
           year = {2024}
}