Differences

This shows you the differences between two versions of the page.

--- nlp:logic_in_nlp [2024/05/10 01:00] – [Papers] jmflanig
+++ nlp:logic_in_nlp [2025/08/30 00:33] (current) – [Papers] jmflanig
@@ Line 4: / Line 4: @@
 ===== 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]]