conftrace_

logical entailment

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

natural language entailment (1) predicate signature (1) faithful inference (1) kinship reasoning (1) nonnegativity constraint (1) uniform interpolation (1) ontology module (1) minimal explanation (1) external memory (1) knowledge retrieval (1)

Papers

When Reasoning Collapses: A Depth-Aware Probe into LLM Reasoning (Student Abstract) AAAI 2026 Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025 FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language Models EMNLP 2025 A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation COLING 2024 Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning EMNLP 2022 Deductive Module Extraction for Expressive Description Logics IJCAI 2020 Explanations for Query Answers under Existential Rules IJCAI 2019 Can Neural Networks Understand Logical Entailment? ICLR 2018 Improving Knowledge Graph Embedding Using Simple Constraints ACL 2018