This work introduces GRACE (Graph Reasoning with Adaptive Controller and Evidence), which feeds rejection back into retrieval and restores accept–reject symmetry in the search, and improves KG-grounded reasoning on WebQSP and ComplexWebQuestions.
Abstract
A standard verification-based knowledge graph question answering (KGQA) pipeline retains a reasoning path only when retrieved evidence supports it. Requiring evidence makes large language model (LLM) output easier to audit and reduces unsupported answers. The verifier’s two outcomes are not equally informative: acceptance provides strong evidence, whereas rejection on an incomplete graph may indicate either an incorrect path or a missing proof. A one-pass pipeline discards both cases and loses the information contained in the failure. We introduce GRACE (Graph Reasoning with Adaptive Controller and Evidence), which feeds rejection back into retrieval and restores accept–reject symmetry in the search. GRACE assigns a failure type to each rejected path. Its reflective feedback loop (RFL) revises subsequent retrieval, whereas hypothetical bridging (HB) admits budgeted and penalized virtual edges for plausible missing links. A virtual edge remains marked as a hypothesis rather than a verified triple; the bridge budget bounds answer-level hallucination exposure, and the marking makes that exposure observable. With a fixed open-source LLM backbone, GRACE improves KG-grounded reasoning on WebQSP and ComplexWebQuestions. Diagnostic results indicate that RFL and HB recover different types of failure.
This work presents an evidence-carrying validation interface: every selected node-shape check returns either a satisfaction trace or failure witness, and shows how programs combine passing and failing evidence to diagnose missing information and guide repair.
Experiments show that precision improves by filtering invalid candidates, while recall is preserved due to retaining candidates whose constraints are not explicitly violated, and a three-valued constraint semantics that avoids incorrect rejections under open-world assumptions.
Emanuel Kitzelmann· Deutsche Jahrestagung für Kü...· 0 citations
RA-QGQA is presented, which recasts triple verification as a question-driven, corpus-grounded task, and demonstrates RA-QGQA as an interactive web system in which users import a KG and its source corpus, verify all triples in a single pass, and inspect the passages that justify its verdict.
Si-Yang Liu, Hong Duc Nguyen, Yun-Miao Li et al.· Proceedings of the 2026 ACM...· 0 citations
Graph-Grounded Harness (The authors') recovers an explicit graph of the drawing---its symbols, the process connections between them, and the tags that name them---and then requires the model to answer only by querying that graph through seven read-only operators, so a topology claim is returned only when it cites the q...
P. Gadekar, Sagar Srinivas Sakhinana, Venkataramana Runkana· 0 citations
By transforming aggregate robustness measurement into typed diagnostic attribution, MissDiag provides a more interpretable basis for comparing, diagnosing, and stress-testing KGQA and KG-RAG systems under incomplete knowledge.
The proposed TRACE-QA, a training-free multi-agent protocol that routes each instance to a sparse set of reasoning operators, constructs option-blind necessity constraints, audits every candidate in a structured elimination ledger, revisits risky eliminations through global risk-aware rescue, and aggregates role-specia...
Jia-Xin Lu, Hao Chen, Yan-Cheng Zhu et al.· Journal of King Saud Univers...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.