Publications of Louise Dennis sorted by journal and type
63rd Annual Meeting of the Association for Computational Linguistics (2025)
| Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations, , , and , in: 63rd Annual Meeting of the Association for Computational Linguistics, 2025 |