🧑‍🔬 Who cites Ian Pratt-Hartmann

10 citations of their works from 9 papers of our library (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · ← Ian Pratt-Hartmann

1. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem ProvingConference on Empirical Methods in Natural Language Processing (EMNLP)Xin Quan, Marco Valentino, Louise A. Dennis, et al.2024 · 52 citations
2. Enhancing Systematic Decompositional Natural Language Inference Using Informal LogicConference on Empirical Methods in Natural Language Processing (EMNLP)Nathaniel Weir, Kate Sanders, Orion Weller, et al.2024 · 7 citations
3. Towards Controllable Natural Language Inference through Lexical Inference TypesarXiv:2308.03581Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.2023 · 2 citations

6 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/ian-pratt-hartmann/cited-by/