Differences

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

--- nlp:logic_in_nlp [2024/06/19 22:15] – [Related Pages] 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 ====
@@ Line 14: / Line 17: @@
   * [[Negation]]
   * [[Neurosymbolic Methods]]
+  * [[Quantifiers]]
   * [[Semantic Parsing]]
   * [[Semantics]]