Overview
Production Readiness
0.6
Novelty Score
0.55
Cost Impact Score
0.3
Citation Count
4
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.
F2-Verification plus CoK further boosts accuracy and can approach fine-tuning levels on some tasks.
Most rethinking gains come in the first 3 iterations; too low a threshold can hurt by over-injection.
Results
Accuracy
Accuracy
Accuracy
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

