arXiv AI
Identification of Entailment and Contradiction Relations for Natural Language Argumentation: A Neurosymbolic Approach
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv AI
Jul 31
Making Implicit Premises Explicit in Logical Understanding of Enthymemes
arXiv:2603. 06114v2 Announce Type: replace-cross Abstract: Real-world arguments in text and dialogues are normally enthymemes (i.
arXiv AI
Aug 20
Identifying Implicit Premises for Logical Reconstruction of Argument Graphs
The paper tackles the challenge of reconstructing argument graphs from natural language by addressing enthymemes—arguments with implicit premises. It proposes a neuro‑symbolic pipeline that employs large language models to generate intermediate implicit premises, translates them into logical formulas, and combines them with explicit premises and claims to determine entailment, contradiction, or neutrality. The method is evaluated on the Microtext Argumentative Corpus.
arXiv Computation and Language
Sep 23
Semantic Abstraction for Natural Language Inference: a Methodological Framework for Discovering and Compensating Semantic Knowledge and Reasoning Gaps in Large Language Models
arXiv:2609.26610v1 Announce Type: new Abstract: Despite their outstanding performance on many NLP tasks, LLMs face serious challenges related to semantic abstraction. In this study, we are interested...
arXiv Computation and Language
Oct 15
Learning Proposition-Level Links from Sentence-Level Supervision for Neuro-Symbolic NLI
arXiv:2610.15158v2 Announce Type: replace Abstract: We study neuro-symbolic natural language inference (NLI) with independently translated propositional representations of the premise and hypothesis....
arXiv AI
Jun 9
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
arXiv:2507. 09751v3 Announce Type: replace Abstract: Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, but exhibit problems with logical consistency in their output.
arXiv AI
Jul 15
A Neurosymbolic Approach to Natural Language Formalization and Verification
arXiv:2511. 09008v2 Announce Type: replace-cross Abstract: Large Language Models perform well at natural language interpretation and reasoning, but their lack of formal correctness guarantees limits their adoption in regulated industries like finance and health-care that operate under strict policies.