%Aigaion2 BibTeX export from Idiap Publications
%Wednesday 07 January 2026 06:11:17 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}
}