---
title: Faithfulness Gap in AI Models
url: https://www.emergentmind.com/topics/faithfulness-gap
type: topic
---

# Faithfulness Gap in AI Models

Faithfulness gap denotes a discrepancy between a model artifact that appears to express or measure reasoning—such as a salience map, a natural-language explanation, a chain of thought, a confidence statement, a proof, or a generated output—and the underlying behavior, evidence, or semantic content it is supposed to track. Recent work uses the term in several closely related senses: the mismatch between salience rankings and actual causal influence in Vision Transformers, between subjective plausibility and epistemic faithfulness in LLM explanations, between precision-only and coverage-aware evaluation in grounded generation, between contextual and parametric notions of chain-of-thought faithfulness, and between proof validity or typechecking and semantic equivalence in autoformalization [2404.01415] [2604.14325] [2606.09376] [2605.24960] [2604.19459] [2606.16541].

## 1. Conceptual scope

Across domains, the gap is usually defined as a divergence between a surface criterion and a latent target. In explainability, the surface criterion is often an attribution ranking or rationale that looks plausible; the latent target is the model’s actual decision mechanism. In grounded generation, the surface criterion is often claim precision; the latent target is complete coverage of the relevant facts. In formal reasoning, the surface criterion is a valid or compiling proof; the latent target is faithful preservation of the original statement’s semantics. These formulations differ operationally, but they share a common structure: an observable proxy is treated as if it certified a stronger property than it actually does [2404.01415] [2606.09376] [2604.19459].

The literature also shows that faithfulness is not a monolithic objective. Work on chain-of-thought optimization states that contextual and parametric faithfulness are positively coupled yet asymmetric, and that even within contextual evaluation different metrics capture disjoint facets of faithfulness [2605.24960]. Work on classifier sensitivity in CoT evaluation shows that different operationalizations of the same nominal construct—lexical mention versus epistemic dependence—produce materially different overall rates, per-model rankings, and inter-classifier agreement [2603.20172]. This suggests that the phrase “faithfulness gap” names a recurrent family of mismatches rather than a single universally stable metric target.

A second recurring theme is that the gap is often exposed only when controlled interventions are available. Perturbing salient pixels, injecting counterfactual hints, editing model knowledge, deleting reasoning steps, or probing formal consequence neighborhoods makes it possible to compare what an explanation or output says against what model behavior actually changes under intervention [2404.01415] [2604.14325] [2502.18848] [2606.16541].

## 2. Attribution, explanations, and the measurement problem

In Vision Transformers, the gap is defined directly in terms of disagreement between salience and causal effect. A faithful explanation should satisfy the pairwise ordering that if one pixel group receives higher salience than another, masking it should reduce model confidence at least as much. The Salience-guided Faithfulness Coefficient (SaCo) formalizes this with
$$
F(x)=\frac{\sum_{i<j}\operatorname{sign}(\Delta pred(x,G_i)-\Delta pred(x,G_j))\,[s(G_i)-s(G_j)]}{\sum_{i<j}|s(G_i)-s(G_j)|},
$$
a scalar in $[-1,1]$ obtained from pairwise comparisons among salience-sorted pixel groups. The paper reports that standard perturbation-based metrics correlate with SaCo only at approximately $0.18$–$0.22$, while standard metrics correlate with one another at approximately $0.48$; Random Attribution scores approximately $0$ under SaCo but can perform on par with, or better than, state-of-the-art methods under AOPC, AUC, Log-Odds, and Comprehensiveness. On a single ImageNet example, Transformer Attribution yields $F\approx0.56$, Raw Attention $F\approx0.18$, and Random Attribution $F\approx0$, while AOPC ranks them all at approximately $0.95$. SaCo also attributes large gains to gradient and cross-layer aggregation: last-layer attention only scores approximately $0.18$, rollout alone approximately $0.25$, last-layer attention times gradient approximately $0.38$, and rollout times gradient approximately $0.46$ [2404.01415].

In multilingual language models, the faithfulness gap is studied as a disparity between multilingual and monolingual feature-attribution faithfulness under deletion- and insertion-based diagnostics. The work defines normalized sufficiency and comprehensiveness from $p(y\mid X)$, $p(y\mid R)$, and $p(y\mid X\setminus R)$, and reports that XLM-R base yields significantly lower hard sufficiency and comprehensiveness than monolingual RoBERTa across five languages and five attribution methods, with average gaps of approximately $-0.10$ and $-0.20$ respectively; the gap grows further for XLM-R large. By contrast, mBERT base often shows slightly higher hard sufficiency and comprehensiveness than monolingual English BERT. Soft metrics show negligible differences below $0.01$. The further analysis links this disparity to tokenizer aggressiveness: the Pearson correlation between fertility gap and comprehensiveness gap is approximately $-0.91$, and tokenizer-swap ablations with WECHSEL and FOCUS show that faithfulness scores track the tokenizer rather than the underlying network weights [2403.12809].

A related problem is that faithfulness metrics disagree sharply even when they are all intended to rank local explanations. On tabular classification tasks, Prediction Gap on Important features, Area under the Ablation Curve, and bottleneck distance via topological data analysis produce low or negative rank correlations, little overlap in top-ranked explanations, and occasional failures even on a random-attribution sanity check. In synthetic experiments where randomly permuting larger fractions of a ground-truth attribution should monotonically reduce faithfulness, only the ablation-based ABC metric produces a strictly monotonic ranking; PGI is non-monotonic even at low permutation levels [2311.07763].

The same theme appears in gradient-based visual explanations framed as a complexity–faithfulness trade-off. There the explanation gap is defined as
$$
\mathcal{G}_{X}(f,\widehat f)=\int_{x\in X}\|\nabla_x f(x)-\nabla_x \widehat f(x)\|_2^2\,dx,
$$
with a spectral proxy
$$
\Delta EF(e)=\bigl|EF(\nabla f)-EF(e_f)\bigr|.
$$
The analysis argues that surrogate-based smoothing acts as a low-pass filter that reduces explanation complexity by suppressing high-frequency tails while increasing the gap to the original model’s gradients. Empirically, $\Delta EF$ for SmoothGrad and GradCAM is often greater than $0.1$ in the paper’s scaled units, and smoother activations create new trade-off points with both lower expected frequency and lower spectral gap than post-hoc surrogates alone [2508.10490].

## 3. Grounded generation and textual explanations

In grounded text generation, the gap is defined as the discrepancy between precision-only faithfulness and coverage-aware evaluation. The coverage-aware formulation uses a complete oracle: if $\text{StatedClaims}$ is the set of atomic claims, $\text{SupportedFacts}$ the verified subset, and $\text{RelevantFacts}$ the complete set of facts that should be covered, then
$$
P=\frac{|\text{SupportedFacts}|}{|\text{StatedClaims}|},\qquad
R=\frac{|\text{SupportedFacts}|}{|\text{RelevantFacts}|},\qquad
F_1=\frac{2PR}{P+R}.
$$
On a multilingual Formula 1 telemetry benchmark of $7{,}253$ decision instances spanning $150$ races, the most precise frontier model covers under half of the relevant facts and ranks last by $F_1$; the same qualitative effect reappears in a second complete-oracle domain built from NOAA weather forecasts. A prompt ablation comparing a neutral prompt with a coverage-explicit prompt finds that explicitly asking models to be thorough does not close the recall gap: mean recall drops slightly from $0.52$ to $0.48$, and only $2$ out of $5$ models improve. The paper therefore pairs faithfulness with coverage and proposes a verifier-guided self-correction loop; in the Formula 1 domain, one round of refinement raises precision from $0.87$ to $0.94$ and recall from $0.60$ to $0.75$ without gold references [2606.09376].

For post-hoc natural-language explanations of LLM decisions, the gap is cast as the difference between subjective faithfulness and epistemic faithfulness. The counterfactual protocol records an original answer $a_0$, injects an auxiliary hint $H$ designed to flip the answer to $a_1$, retains only cases with $a_1\neq a_0$, and then asks for an explanation $e$. The epistemic faithfulness rate is
$$
\mathrm{Faith}_{\mathrm{epi}}
=
\mathbb{E}_{q,H}\bigl[\mathbf{1}\{\text{explanation }e\text{ mentions }H\}\mid a_1\neq a_0\bigr].
$$
Across Llama 3.1 8B, Qwen 2.5 7B, GPT-4o, and Gemini 2.0, baseline epistemic faithfulness under a general explanation prompt is often below $20\%$ for hint types other than Sycophancy. The paper proposes “Faithfulness Serum,” a training-free intervention in which PE-LRP token relevance scores $\mathcal R_i$ are injected into post-softmax attention during explanation generation,
$$
\mathcal A_i^{\prime(l)}=\mathcal A_i^{(l)}+\alpha\,\mathcal R_i,
$$
for layers $17$–$19$. On Llama 3.1 8B under the general prompt, the LLM-judge score for Unethical Information rises from $8.6\%$ to $15.9\%$, Metadata from $3.0\%$ to $10.0\%$, Sycophancy from $36.1\%$ to $47.7\%$, and Grader Hack from $2.8\%$ to $10.7\%$; Counterfactual Test scores rise similarly. Test-Time Adaptive $\alpha$ further improves faithfulness while maintaining fluency [2604.14325].

## 4. Chain-of-thought faithfulness and metric fragility

For natural-language explanations and CoTs, several papers argue that widely used metrics fail to detect the gap they are meant to measure. Causal Diagnosticity defines the diagnosticity of a faithfulness metric $\mathcal F$ as the probability that it ranks a known faithful explanation above a known unfaithful one,
$$
D(\mathcal F)=P[\mathcal F(p,\epsilon^a;M)>\mathcal F(p,\epsilon^b;M)].
$$
The benchmark uses model-editing methods—In-Context Editing and MEMIT—to create paired explanations that preserve the same answer while depending on different underlying facts. Across fact-checking, analogy, object counting, and multi-hop reasoning, and across qwen-2.5-7B and gemma-2-9B-it, no tested faithfulness metric consistently exceeds the random baseline of $D=0.50$ across all settings; Counterfactual Edits and Simulatability hover near $0.00$, while only Paraphrasing and sometimes CC-SHAP intermittently outperform random [2502.18848].

Optimization-based work reaches a related conclusion from a different direction. FaithMate turns any training-time metric into a preference-learning objective and studies transfer across contextual and parametric faithfulness metrics. Across Gemma3-4B, Qwen2.5-7B, and Llama3.1-8B, on OpenbookQA and LogiQA, contextual-to-parametric optimization yields positive transfer in $32/48$ settings, whereas parametric-to-contextual optimization is positive in all but $2/55$ contextual settings, approximately $96\%$. Within the contextual paradigm, transfer is inconsistent: for example, Adding Mistake to Paraphrasing is negative in $8/12$ cases. The paper concludes that CoT faithfulness is not a monolithic objective and that existing contextual metrics capture complementary or tensioned facets [2605.24960].

Judge-based evaluation shows analogous fractures. C2-Faith decomposes process faithfulness into causal faithfulness and coverage faithfulness. On binary causal detection, GPT-4.1 reaches $82.7\%$, DeepSeek-V3.1 $94.7\%$, and o4-mini $92.0\%$. On causal step localization, however, exact-match accuracy is much lower: $57.6\%$, $55.8\%$, and $68.0\%$ respectively, creating detection–localization gaps of $31.7$, $32.6$, and $26.2$ percentage points. Coverage scores are also systematically inflated: at $70\%$ deletion, the ground-truth mean is $2.17$, whereas GPT-4.1 assigns $2.95$, DeepSeek $3.29$, and o4-mini $2.91$ [2603.05167].

Classifier sensitivity then sharpens the methodological point. On $10{,}276$ identical influenced CoTs from $12$ open-weight models, a regex-only detector reports an overall faithfulness rate of $74.4\%$, a regex-plus-LLM pipeline $82.6\%$, and an independent Claude Sonnet 4 judge $69.7\%$, with non-overlapping $95\%$ confidence intervals. Per-model gaps range from $2.6$ to $30.6$ percentage points, all statistically significant by McNemar’s test at $p<0.001$, and model rankings can reverse: Qwen3.5-27B ranks first under the pipeline but seventh under Sonnet 4, while OLMo-3.1-32B moves from ninth to third. Inter-classifier Cohen’s $\kappa$ ranges from $0.06$ for Sycophancy to $0.42$ for Grader, indicating that published faithfulness numbers are partly properties of the classifier itself [2603.20172].

Ground-truth meta-evaluation reinforces the pessimistic result. BonaFide contains $3{,}066$ labeled CoTs across $13$ tasks and $10$ models, with $1{,}946$ step-level labels and $1{,}120$ CoT-level labels. On this benchmark, the best step-level metric reaches only $0.59$ AUROC, the best CoT-level metric $0.70$ AUROC, and neither transfers across settings; several prominent metrics operate near chance while incurring wall times from tens of seconds to roughly $10^3$ seconds per instance. A related study of large reasoning models’ “thinking drafts” defines Intra-Draft Faithfulness and Draft-to-Answer Faithfulness and reports GPQA intra-draft faithfulness of about $45\%$ to $58\%$, but draft-answer consistency of roughly $19\%$ to $46\%$, indicating that even explicit intermediate drafts are only selectively load-bearing [2605.25052] [2505.13774].

## 5. Confidence, uncertainty, and faithful self-report

One version of the gap concerns not explanations of decisions but explanations of internal confidence. Mechanistic analysis of verbalized confidence finds that linear probes for empirical accuracy and for verbalized confidence occupy nearly orthogonal directions in residual-stream activation space, with cosine similarity below $0.04$ across models and layers. The accuracy probe achieves test $R^2\approx0.55$, while the confidence probe achieves test $R^2\approx0.85$. When models are prompted to reason and verbalize confidence jointly, the alignment between accuracy and confidence directions flips: under pure-confidence prompts, the relevant cosine reaches $+0.26$ at late layers, but under joint solve-and-rate prompts it falls to $-0.63$ in layers $12$–$18$. This “Reasoning Contamination Effect” motivates a two-stage adaptive steering pipeline that reads out a calibrated internal accuracy estimate and steers the verbalized-confidence direction to match it. On MATH, adaptive steering reduces ECE by $4\times$–$7\times$ relative to unsteered verbalized confidence across Llama-3.1-8B-Instruct, Mistral-7B-Instruct, and Qwen-2.5-7B-Instruct [2603.25052].

A related communication problem appears in uncertainty expression. Faithful Uncertainty Tuning defines semantic confidence for an assertion $a$ as
$$
C(a)=1-\mathbb E[\mathbf{1}\{a\bot Y\}\mid x],
$$
extracts a decisiveness score $D(a)\in[0,1]$ from hedging cues, and scores a response by
$$
F(y\mid x)=1-\frac{1}{|\mathcal A(y)|}\sum_{a\in\mathcal A(y)}|D(a)-C(a)|.
$$
The aggregate cMFG score equals $1$ for perfect alignment and is approximately $0.5$ under uncorrelated decisiveness and confidence. FUT trains models on relabeled outputs in which uncertainty hedges are inserted in proportion to the model’s own Monte Carlo-estimated semantic confidence, while preserving the underlying distribution of asserted content. On PopQA, Tũlu3 8B rises from $0.52$ to $0.71$ cMFG under FUT-interweave, OLMo2 7B from $0.53$ to $0.79$, and OLMo2 13B from $0.52$ to $0.78$. On OLMo2 13B, total variation distance between FUT outputs and the base model is approximately $0.11$ for interweave and $0.09$ for postfix, comparable to prompt-induced variation, indicating minimal semantic distribution shift [2510.12587].

## 6. Formal reasoning and semantic equivalence

In theorem proving and autoformalization, the faithfulness gap separates formal validity from semantic preservation. One formulation models a proof system as a stochastic map from a natural-language problem $(P,c)$ to axioms $A$ and proof term $\pi$, defines $V(\pi)=1$ when the proof type-checks and $F(A,P)=1$ when the axioms faithfully preserve the premises, and measures the gap as
$$
1-\gamma=\Pr[F(A,P)=0\mid V(\pi)=1].
$$
On $303$ first-order-logic problems from FOLIO and Multi-LogiEval, GPT-5 and DeepSeek-R1 achieve compilation rates of $87$–$99\%$, but compilation is not a faithfulness certificate. The unified pipeline shows no evidence of systematic formalization gaming: when forced into the wrong direction, both models typically flow to Uncertain or Failure rather than to a fabricated proof. The two-stage pipeline exposes distinct failure modes instead. GPT-5 modifies Stage 1 axioms in $73$ of $609$ FOLIO runs and $34$ of $300$ Multi-LogiEval runs, with “Conclusion-as-axiom” the dominant subtype at $56$ of $105$ filtered fabrications. DeepSeek-R1 almost never edits Stage 1 axioms in Stage 2, but it mistranslates premises during formalization, producing internally consistent yet unfaithful theories that evade stage-modification detection [2604.19459].

A stronger semantic-certification approach is Bidirectional Provability Fingerprinting. Here a candidate formal statement $F$ is $\varepsilon$-faithful to a natural-language statement $N$ under an interpretation distribution $D_N$ if
$$
\Pr_{I\sim D_N}[T\vdash(F\leftrightarrow I)]\ge 1-\varepsilon.
$$
BPF evaluates a candidate by its forward and backward consequence neighborhoods relative to a probe set $P=\{P_1,\dots,P_k\}$:
$$
\phi_F^\rightarrow(P)=([T+F\vdash P_i])_{i=1}^k,\qquad
\phi_F^\leftarrow(P)=([T+P_i\vdash F])_{i=1}^k.
$$
Counterfactual Probe Generation targets specific drift classes, the Equivalence Spectrum replaces a brittle binary verdict with a continuous score, Adaptive Probe Budget Allocation routes prover queries by expected information gain, and Faithfulness-Guided Decoding uses low-budget fingerprint scores as a reward during autoformalization. On DRIFTBENCH, which contains $2{,}183$ expert-verified NL/Lean 4 pairs across six subfields, BPF plus CPG detects $89.6\%$ of drifted formalizations at a $3.0\%$ false-positive rate, versus $41.2\%$ for a typecheck baseline and $63.3\%$ for an LLM-judge baseline. APBA matches the same detection rate with approximately $3.1\times$–$3.2\times$ fewer probes, and FGD reduces the drifted-output rate of a state-of-the-art autoformalizer from $19.4\%$ to $10.3\%$ for $m=4$, a $47\%$ relative reduction [2606.16541].

## 7. Multimodal generation, retrieval, and prompt fidelity

In retrieval-augmented generation, the gap appears as a divergence between fluent long-form output and factual support in the retrieved context. SynCheck monitors sentence-level faithfulness synchronously using sequence likelihood, uncertainty, context influence, and semantic alignment, aggregates these features into a score $S_i\in[0,1]$, and triggers intervention whenever $S_i$ falls below a threshold. Across six long-form RAG tasks, SynCheck reaches average AUROC $0.85$ on Llama 2 7B and $0.87$ on Mistral 7B, about $4$ percentage points above the prior best. Faithfulness-Oriented Decoding uses those real-time scores to backtrack and rerank beams, improving average proposition-level faithfulness by more than $10$ absolute points across all six tasks versus greedy decoding, abstention, reranking, and contrastive decoding, while retaining or increasing informativeness. The paper characterizes pre-intervention models as operating at approximately $60$–$70\%$ proposition-level faithfulness and reports that FOD raises final faithfulness into the low-to-mid-$80$s, cutting the absolute gap to ideal faithfulness by roughly one-half [2406.13692].

In video generation, the gap is defined as the difference between superficial faithfulness and intrinsic faithfulness. VBench-2.0 argues that per-frame aesthetics, temporal smoothness, and simple prompt adherence are only superficial faithfulness, whereas intrinsic faithfulness concerns physical laws, commonsense reasoning, anatomical correctness, controllability, creativity, and compositional integrity. The benchmark evaluates five dimensions—Human Fidelity, Controllability, Creativity, Physics, and Commonsense—using text-description alignment, video-based multi-question answering, and specialist pipelines such as anomaly detection, ArcFace, YOLO-World, and SIFT plus RAFT. Human alignment is strong, with Spearman’s $\rho\ge 0.88$ between VBench-2.0 win-ratios and human win-ratios on all dimensions. The empirical results show that models near saturation on superficial benchmarks still fail on intrinsic dimensions: for example, Complex Plot generation remains below $15\%$, and simple dynamic changes fail about $80\%$ of the time [2503.21755].

Text-to-image evaluation reaches a parallel conclusion. Arena-T2I Hard is built from $310$ real user prompts, each decomposed into approximately $30$ yes/no constraints spanning Existence, Attributes, Spatial or relational constraints, Counts, Stylistic constraints, and Text rendering. Faithfulness for an image–prompt pair is
$$
s_f(x,p)=\frac{1}{|Q_f(p)|}\sum_{q\in Q_f(p)} y_q(x,p),
$$
with a dependency-aware zeroing rule on a prompt DAG: if a parent constraint fails, descendant constraints are set to zero without re-querying the judge. On this benchmark, the strongest closed-source system reaches $0.855$ and the weakest $0.523$, a gap of $0.332$ or approximately $33$ percentage points, whereas prior benchmarks saturate above approximately $0.94$. For training, the faithfulness checklist reward is combined with a Bradley–Terry aesthetic reward by Group-Decoupled Normalization,
$$
A_k(i,j)=\frac{r_k(i,j)-\mu_{k,i}}{\sigma_{k,i}+\varepsilon},
$$
so that neither reward collapses within a rollout group. Under MMRB2 pairwise comparisons, the resulting Faith+Pick GDPO recipe attains a strictly better faithfulness–aesthetics trade-off than single-reward baselines, naive weighted sums, and a four-reward BT ensemble [2606.31711].

Taken together, these multimodal studies generalize the same diagnosis found in interpretability and reasoning work: systems can score highly on coarse, holistic, or aesthetically weighted criteria while remaining unfaithful to evidence, constraints, or world structure. The recurring response is likewise similar—replace a single aggregate proxy with structured interventions, coverage terms, dependency-aware decompositions, or semantically targeted probes that can expose which part of the apparent success is merely surface-consistent and which part is genuinely faithful [2406.13692] [2503.21755] [2606.31711].

Source: https://www.emergentmind.com/topics/faithfulness-gap