CONF Quan_ACL2025_2025/IDIAP Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations Quan, Xin Valentino, Marco Dennis, Louise Freitas, Andre 63rd Annual Meeting of the Association for Computational Linguistics 2025