%Aigaion2 BibTeX export from Idiap Publications
%Saturday 14 February 2026 02:32:56 AM

@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}
}