Exploring End-to-End Differentiable Natural Logic Modeling
Not on the map. Why?
Abstract (arXiv)
We explore end-to-end trained differentiable models that integrate natural logic with neural networks, aiming to keep the backbone of natural language reasoning based on the natural logic formalism while introducing subsymbolic vector representations and neural components. The proposed model adapts module networks to model natural logic operations, which is enhanced with a memory component to model contextual information. Experiments show that the proposed framework can effectively model monotonicity-based reasoning, compared to the baseline neural network models without built-in inductive bias for monotonicity-based reasoning. Our proposed model shows to be robust when transferred from upward to downward inference. We perform further analyses on the performance of the proposed model on aggregation, showing the effectiveness of the proposed subcomponents on helping achieve better intermediate aggregation performance.
Key facts. Cited by 10 papers in the map (data through 14 Oct 2026). First posted on arXiv 8 Nov 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 3; 2022: 2; 2023: 2; 2024: 1; 2025: 1; 2026: 1.
10 papers.
- 2021Automated Fact-Checking: A Surveycited by 55
- 2021ProoFVer: Natural Logic Theorem Proving for Fact Verificationcited by 53
- 2022Logical Reasoning with Span-Level Predictions for Interpretable and Robust NLI Modelscited by 18
- 2021Weakly Supervised Explainable Phrasal Reasoning with Neural Fuzzy Logiccited by 10
- 2022Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inferencecited by 9
- 2023QA-NatVer: Question Answering for Natural Logic-based Fact Verificationcited by 8
- 2023NatLogAttack: A Framework for Attacking Natural Language Inference Models with Natural Logiccited by 3
- 2024Modeling Low-Resource Health Coaching Dialogues via Neuro-Symbolic Goal Summarization and Text-Units-Text Generationcited by 2
- 2025Neuro-Symbolic Contrastive Learning for Cross-domain Inferencecited by 0
- 2026Learning Proposition-Level Links from Sentence-Level Supervision for Neuro-Symbolic NLIcited by 0
- 2026Learning Proposition-Level Links from Sentence-Level Supervision for Neuro-Symbolic NLI10 Oct 2026
- 2025Neuro-Symbolic Contrastive Learning for Cross-domain Inference13 Feb 2025
- 2024Modeling Low-Resource Health Coaching Dialogues via Neuro-Symbolic Goal Summarization and Text-Units-Text Generation16 Apr 2024
- 2023QA-NatVer: Question Answering for Natural Logic-based Fact Verification22 Oct 2023
- 2023NatLogAttack: A Framework for Attacking Natural Language Inference Models with Natural Logic6 Jul 2023
- 2022Logical Reasoning with Span-Level Predictions for Interpretable and Robust NLI Models23 May 2022
- 2022Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference9 Mar 2022
- 2021Automated Fact-Checking: A Survey23 Sep 2021
- 2021Weakly Supervised Explainable Phrasal Reasoning with Neural Fuzzy Logic18 Sep 2021
- 2021ProoFVer: Natural Logic Theorem Proving for Fact Verification25 Aug 2021