A Wide-Coverage Symbolic Natural Language Inference System
We present a system for Natural Language Inference which uses a dynamic semantics converter from abstract syntax trees to Coq types. It combines the fine-grainedness of a dynamic semantics system with the powerfulness of a state-of-the-art proof assistant, like Coq. We evaluate the system on all sections of the FraCaS test suite, excluding section 6. This is the first system that does a complete run on the anaphora and ellipsis sections of the FraCaS. It has a better overall accuracy than any previous system.
Code (0)
등록된 구현이 없습니다.
Tasks
Natural Language InferenceSimilar Papers 제목 키워드 기반
LLM-Augmented Symbolic NLU System for More Reliable Continuous Causal Statement Interpretation
Despite the broad applicability of large language models (LLMs), their reliance on probabilistic inference makes them vulnerable to errors such as hallucination in generated facts and inconsistent output structure in nat…
Natural Language UnderstandingIncremental LearningText SimplificationInvestigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
To achieve generalized and robust natural-to-formal language conversion (N2F), large language models (LLMs) need to have strong capabilities of decomposition and composition in N2F when faced with an unfamiliar formal la…
Natural Language UnderstandingNeurosymbolic Language Reasoning as Satisfiability Modulo Theory
Natural language understanding requires interleaving textual and logical reasoning, yet large language models often fail to perform such reasoning reliably. Existing neurosymbolic systems combine LLMs with solvers but re…
Natural Language UnderstandingLogical ReasoningProgram SynthesisProbing Linguistic Information For Logical Inference In Pre-trained Language Models
Progress in pre-trained language models has led to a surge of impressive results on downstream tasks for natural language understanding. Recent work on probing pre-trained language models uncovered a wide range of lingui…
Language ModelingLanguage ModellingNatural Language UnderstandingImproving Symbolic Translation of Language Models for Logical Reasoning
The use of formal language for deductive logical reasoning aligns well with language models (LMs), where translating natural language (NL) into first-order logic (FOL) and employing an external solver results in a verifi…
Logical Reasoning