---
title: "Who cites Autoformalizing Natural Language — 9 citing papers"
description: "9 papers of the Elamur Research library cite «Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy…"
canonical: "https://research.elamur.ai/free/en/papers/lalwani-2024-autoformalizing-natural-language-first-order/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/lalwani-2024-autoformalizing-natural-language-first-order/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Autoformalizing Natural Language to First-Order…](https://md.research.elamur.ai/free/en/papers/lalwani-2024-autoformalizing-natural-language-first-order/) / cited by

# Who cites «Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection»

9 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · [← back to «Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection»](https://md.research.elamur.ai/free/en/papers/lalwani-2024-autoformalizing-natural-language-first-order/)

1. **[Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression](https://md.research.elamur.ai/free/en/papers/peng-2026-logic-jailbreak-efficiently-unlocking-llm/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jingyu Peng, Maolin Wang, Nan Wang, et al.*2026 · 8 citations*
2. **[Beyond Detection: Evaluating Fallacy Awareness of LLMs in Interactive Scenarios](https://md.research.elamur.ai/free/en/papers/niu-2026-beyond-detection-evaluating-fallacy-awareness/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Conghui Niu, Ningxin Wu, Ziran Zhao, et al.*2026*
3. **[Debiasing Logical Fallacy Detection for Real-World Robustness via Counterfactually Augmented Data](https://md.research.elamur.ai/free/en/papers/singh-2026-debiasing-logical-fallacy-detection-real/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Navyansh Singh*2026*

6 more papers of our library cite it; they have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/lalwani-2024-autoformalizing-natural-language-first-order/) — Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection