%Aigaion2 BibTeX export from Idiap Publications
%Friday 13 February 2026 05:28:22 PM

@INPROCEEDINGS{Quan_ACL2025_2025,
                      author = {Quan, Xin and Valentino, Marco and Dennis, Louise and Freitas, Andre},
                    projects = {Idiap},
                       title = {Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations},
                   booktitle = {63rd Annual Meeting of the Association for Computational Linguistics},
                        year = {2025}
}