conftrace_

theory resolution

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

commonsense reasoning (2) causal commonsense (1) entailment model (1) llm reasoning (1) verifiable reasoning (1) knowledge base (1) semantic parsing (1) logical reasoning (1)

Papers

LLM-based Typed Hyperresolution for Commonsense Reasoning with Knowledge Bases ICLR 2025 Verifiable, Debuggable, and Repairable Commonsense Logical Reasoning via LLM-based Theory Resolution EMNLP 2024