Make LLM reasoning cite short knowledge triples and verify them to reduce hallucination

June 10, 20236 min

Overview

Production Readiness

0.6

Novelty Score

0.55

Cost Impact Score

0.3

Citation Count

4

Authors

Jianing Wang, Qiushi Sun, Xiang Li, Ming Gao

Links

Abstract / PDF

Why It Matters For Business

CoK makes LLM outputs more checkable and reduces hallucination by forcing explicit evidence and automated verification, which improves trust for QA and decision tasks using LLM APIs.

Summary TLDR

The paper introduces Chain-of-Knowledge (CoK) prompting: in-context examples that pair short structured evidence triples (subject, relation, object) with explanation hints to steer language models toward explicit, verifiable reasoning. They add F2-Verification, which scores factuality (match to knowledge bases) and faithfulness (consistency between triples and explanations) and a small rethinking loop that injects corrected triples when scores fall below a threshold. Across commonsense, factual, symbolic and arithmetic QA benchmarks, CoK improves accuracy versus standard Chain-of-Thought (CoT) and combining CoK with self-consistency and F2-Verification gives further gains. Code and prompts/K

Problem Statement

Chain-of-Thought prompts make LLMs show step-by-step rationales but those rationales often hallucinate or are unfaithful. The paper asks: can we force models to produce explicit, checkable knowledge pieces and then verify and correct them to make final answers more factual and faithful?

Main Contribution

Chain-of-Knowledge (CoK) prompting: in-context exemplars that include evidence triples plus explanation hints to prompt explicit, structured evidence.

F2-Verification: a two-part verifier that scores factuality (triple vs KB) and faithfulness (explanation vs triples) to rate reasoning chains.

Rethinking loop: when verification fails, inject corrected triples from a KB and re-prompt the LLM; integrates with self-consistency sampling.

Key Findings

CoK improves reasoning accuracy over CoT on commonsense benchmarks.

NumbersCSQA +2.8pp (76.5→79.3) gpt-3.5-turbo (Table 1)

F2-Verification plus CoK further boosts accuracy and can approach fine-tuning levels on some tasks.

NumbersCoK+F2-V near fine-tuned score on StrategyQA/ARC-c (Table 1)

Most rethinking gains come in the first 3 iterations; too low a threshold can hurt by over-injection.

NumbersAccuracy rises mainly within N≤3; θ<0.25 can drop ~2% (Figure 8)

Results

Accuracy

Value79.3%

BaselineManual CoT 76.5%

Accuracy

Value66.6%

BaselineManual CoT 62.6%

Accuracy

Value86.0%

BaselineManual CoT 79.5%

Who Should Care

What To Try In 7 Days

Add a short evidence-triples section to your few-shot prompts (subject, relation, object).

Attach a simple verifier: exact KB lookup plus a similarity check (SimCSE) between explanation and triples.

Run 1–3 rethinking passes: if verification fails, inject corrected triples from KB and regenerate answers.

Reproducibility

Data Urls

  • CommonsenseQA, StrategyQA, OpenBookQA, ARC-c, BoolQ, GSM8K, SVAMP, AQuA, MultiArith, Last Letter, Coin Flip (public datasets listed in paper)
  • KBs: Wiktionary, ConceptNet, Wikidata5M, ATOMIC, GLUCOSE, ASER, CausalBank

Code Available

Data Available

Open Source Status

  • partial

Risks & Boundaries

Limitations

  • Dependence on external KB coverage—missing facts limit verification.
  • Extra API calls and KB lookups increase latency and cost compared to vanilla CoT.
  • Manual annotation was used to curate exemplar triples; that effort may be needed for new domains.

When Not To Use

  • Low-latency or low-cost settings where extra KB lookups and re-prompts are unacceptable.
  • Tasks with no useful external KB (some math/formula tasks where KBs don't apply).
  • Scenarios requiring fully end-to-end trained solutions rather than prompt-time fixes.

Failure Modes

  • Over-injection: injecting irrelevant KB triples when threshold is too low can reduce accuracy (~2% observed).
  • Incorrect KB entries or misaligned KB schema can mislead verification and correction.
  • Faithfulness metric mismatch: similarity encoders may not reflect true logical consistency.

Core Entities

Models

  • gpt-3.5-turbo
  • text-davinci-002
  • gpt-4

Metrics

  • Accuracy

Datasets

  • CSQA
  • StrategyQA
  • OpenBookQA
  • ARC-c
  • BoolQ
  • Sports (BIG-Bench)
  • GSM8K
  • SVAMP
  • AQuA
  • MultiArith
  • Last Letter Concatenation
  • Coin Flip

Benchmarks

  • commonsense reasoning
  • factual reasoning
  • symbolic reasoning
  • arithmetic reasoning