conftrace_

logic-based reasoning

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) automated reasoning (2) visual reasoning (2) natural language inference (2) right weakening (1) degree semantics (1) hitting set (1) minimal unsatisfiable set (1) concept grounding (1) recognizing textual entailment (1)

Papers

Birds of a Feather Reason Together: Gestalt Grouping Meets Neuro-Symbolic Inference UAI 2026 Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark AAAI 2024 What’s Left? Concept Grounding with Logic-Enhanced Foundation Models NeurIPS 2023 On Exploiting Hitting Sets for Model Reconciliation AAAI 2021 Combining Event Semantics and Degree Semantics for Natural Language Inference COLING 2020 Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019 Simple Conditionals with Constrained Right Weakening IJCAI 2019