Logic in NLP

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

• Mitra & Baral 2016 - Addressing a Question Answering Challenge by Combining Statistical Methods with Inductive Rule Learning and Reasoning
• Han et al 2022 - FOLIO: Natural Language Reasoning with First-Order Logic
• Lalwani et al 2024 - NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection
• Toroghi et al 2024 - Verifiable, Debuggable, and Repairable Commonsense Logical Reasoning via LLM-based Theory Resolution
• Lee et al 2025 - Entailment-Preserving First-order Logic Representations in Natural Language Entailment

• Seals & Shalin 2023 - Evaluating the Deductive Competence of Large Language Models

• Automatic Theorem Proving
• Language to Programs
• Negation
• Neurosymbolic Methods
• Quantifiers
• Semantic Parsing
• Semantics