Solomon Xu

The Faithfulness Gap: Evaluating Dependency Faithfulness in LLM Reasoning via Minimal Support Recovery

Current evaluations of logical reasoning in large language models (LLMs) often conflate correct answer prediction with correct logical derivation. We formalize dependency-faithful reasoning: given facts, rules, and a query, a model must output both an entailment label and the rule identifiers forming the minimal suppor...