Table of Contents
Logic in NLP
Papers
Evaluation of Logic Competency
Related Pages
Logic in NLP
This page is about methods that use logic or logical forms in NLP.
Papers
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
Evaluation of Logic Competency
Seals & Shalin 2023 - Evaluating the Deductive Competence of Large Language Models
Related Pages
Automatic Theorem Proving
Language to Programs
Negation
Neurosymbolic Methods
Quantifiers
Semantic Parsing
Semantics