Publications of Louise Dennis
2025
| Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations, , , and , in: 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 |