====== Logic in NLP ======
This page is about methods that use logic or logical forms in NLP.

===== Papers =====
  * [[https://ojs.aaai.org/index.php/AAAI/article/view/10354|Mitra & Baral 2016 - Addressing a Question Answering Challenge by Combining Statistical Methods with Inductive Rule Learning and Reasoning]]
  * [[https://arxiv.org/pdf/2209.00840|Han et al 2022 - FOLIO: Natural Language Reasoning with First-Order Logic]]
  * [[https://arxiv.org/pdf/2405.02318|Lalwani et al 2024 - NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection]]
  * [[https://aclanthology.org/2024.emnlp-main.379.pdf|Toroghi et al 2024 - Verifiable, Debuggable, and Repairable Commonsense Logical Reasoning via LLM-based Theory Resolution]]
  * [[https://arxiv.org/pdf/2502.16757|Lee et al 2025 - Entailment-Preserving First-order Logic Representations in Natural Language Entailment]]

==== Evaluation of Logic Competency ====
  * [[https://arxiv.org/pdf/2309.05452|Seals & Shalin 2023 - Evaluating the Deductive Competence of Large Language Models]]

===== Related Pages =====
  * [[ml:Automatic Theorem Proving]]
  * [[Language to Programs]]
  * [[Negation]]
  * [[Neurosymbolic Methods]]
  * [[Quantifiers]]
  * [[Semantic Parsing]]
  * [[Semantics]]