Paper: 2606.03969 Authors: Areeb Gani, Asal Meskin, Gabrielle Kaili-May Liu, Arman Cohan Categories: cs.CL, cs.AI
The Gap
Existing calibration research for LLMs focuses on short-form outputs: answer a question, get a confidence score, check if it aligns with correctness. This works for Q&A models but breaks down for large reasoning models (LRMs) like o1 or DeepSeek-R1, which generate multi-step reasoning traces before answering. Users interpret these extended deliberations as signals of confidence—longer reasoning = more thoughtful = more confident. But no one has systematically checked whether the linguistic confidence in these traces (words like “definitely,” “probably,” “might”) actually reflects the model’s internal uncertainty (token probabilities, hidden states, sampling variance).
Prior work on faithful calibration (FC) assumes clean step boundaries and independent predictions. LRMs violate both: reasoning steps blur together, conditional dependencies cascade through the trace, and structural variation makes it unclear what “step confidence” even means. The field has a measurement problem disguised as a modeling problem.
Problem: LRMs generate long reasoning traces
Users interpret length/detail as confidence signals
|
v
Gap: No way to measure if expressed confidence
matches internal uncertainty in multi-step reasoning
|
v
Challenge: Prior FC metrics assume:
- Clear step boundaries (LRMs: blurred)
- Independent predictions (LRMs: cascading dependencies)
- Consistent structure (LRMs: high variance)
|
v
Method: New FC framework:
- 3 internal uncertainty estimators (token/hidden/sampling)
- Prefix-conditioned sampling to control variation
- Linguistic decisiveness analysis
|
v
Evidence: Test on multiple LRMs, datasets, prompts
Find: FC is poor across the board
Different estimators disagree on same traces
Reasoning ≠ better calibration
|
v
Conclusion: FC is a distinct alignment target for LRMs
Current methods are fragile
The Increment
One sentence: Before this paper, we assumed reasoning models’ verbose outputs reflected genuine deliberation and appropriate confidence; after, we know their expressed confidence systematically misaligns with internal uncertainty, and we have a framework to measure this gap.
Core Mechanism
The framework has three parts: internal uncertainty estimation, linguistic confidence extraction, and alignment measurement.
For internal uncertainty, they use three independent signals. Token-level confidence aggregates next-token probabilities across the reasoning trace—like checking how surprised the model is by its own words. Hidden-state uncertainty trains probes on the model’s internal representations to predict correctness—capturing information the model “knows” but doesn’t verbalize. Sampling consistency generates multiple responses to the same prompt and measures agreement—if the model gives different answers, it’s uncertain.
The linguistic side parses reasoning traces for decisiveness markers: definitive words (“certainly,” “obviously”), hedges (“might,” “possibly”), and structural cues (conditional phrasing, self-corrections). They score each trace on a decisiveness scale from tentative to absolute.
The critical innovation is prefix-conditioned sampling. Instead of comparing traces with wildly different structures (some 50 tokens, some 500), they hold the reasoning prefix constant—generate multiple completions from the same partial trace—so structural variation doesn’t confound the uncertainty signal.
Input prompt
|
v
[LRM generates reasoning trace]
|
+---> Token probabilities --> Aggregate --> Uncertainty_token
|
+---> Hidden states --> Probe classifier --> Uncertainty_hidden
|
+---> Sample N times --> Measure variance --> Uncertainty_sampling
|
v
Parse linguistic markers
|
v
Decisiveness score (0-1)
|
v
Compare: Does high decisiveness align with low uncertainty?
Does low decisiveness align with high uncertainty?
|
v
Faithful Calibration score
Think of it like reading someone’s poker face. The three uncertainty estimators are like watching their pupil dilation (token probabilities), heart rate (hidden states), and whether they make the same bet across multiple hands (sampling consistency). The linguistic analysis is reading their verbal tells—do they say “I’m all in” or “I might call”? Prefix-conditioned sampling is like replaying the same hand multiple times but only varying the final decision, so you can isolate confidence from luck. You’re checking: when their biology screams uncertainty, does their mouth say “maybe,” or do they still bluff with “definitely”?
Key Concepts
-
Faithful Calibration (FC): Alignment between what a model internally “believes” (its uncertainty) and what it linguistically “says” (its expressed confidence). A well-calibrated model says “I’m uncertain” when its token probabilities are low or its sampled answers diverge. A poorly calibrated model says “definitely” even when internally unsure. This is not about whether the model is correct—it’s about whether its confidence expression is honest relative to its internal state. Example: A model generates “The answer is definitely 42” with 60% token probability and 50% sampling agreement. High decisiveness, high uncertainty = poor FC.
-
Prefix-Conditioned Sampling: Controlling for structural variation by fixing the reasoning prefix and only varying the completion. If you ask a reasoning model the same question twice, you might get a 3-step trace vs. a 7-step trace—comparing their confidence is apples-to-oranges. Instead, generate the first K tokens once, then sample multiple completions from that shared prefix. Now all traces have the same early reasoning structure, and uncertainty variance reflects genuine confidence differences, not random structural drift. Example: Prefix = “Let’s break this down: First, we know X. Second, Y implies…” → sample 20 different endings → measure how much they agree.
-
Linguistic Decisiveness: Quantifying confidence from word choice and phrasing structure. High decisiveness = definitive language (“clearly,” “obviously,” “must be”), direct assertions, no hedges. Low decisiveness = hedges (“might,” “possibly”), conditional framing (“if X then maybe Y”), self-corrections (“actually, on second thought”). The paper extracts these features using both rule-based parsing and LLM-based classification, then aggregates into a 0-1 score. Example: “The answer is 42” (high) vs. “If we assume X, then possibly 42, though it could also be 41” (low).
Framework Shift
Before (mainstream calibration): After (this paper):
Prompt --> Model --> Answer Prompt --> Model --> [Reasoning Trace]
| |
v +---> Token probs
Confidence score |
| +---> Hidden states
v |
Compare to correctness +---> Sampling variance
|
v
Internal uncertainty
|
v
Parse linguistic decisiveness
|
v
Compare: Do they align?
Single-step, clean boundaries Multi-step, blurred dependencies
Confidence = one number Confidence = linguistic patterns
Calibration = correctness match Calibration = internal/external match
One sentence: From treating confidence as a post-hoc correctness check on final answers, to treating it as a multi-signal alignment problem between internal uncertainty and linguistic expression throughout extended reasoning.
Expert Assessment
Problem choice: Real and timely. As reasoning models proliferate, users genuinely interpret verbose outputs as confidence signals. The gap between “looks thoughtful” and “is actually confident” matters for trust. This sits at the intersection of interpretability, calibration, and human-AI interaction—a natural next step after basic LLM calibration work.
Method maturity: The three uncertainty estimators are solid but not novel individually (token probs and sampling are standard; hidden-state probes are borrowed from interpretability). The real contribution is prefix-conditioned sampling, which elegantly solves the structural variation problem. However, the linguistic decisiveness scoring still feels somewhat ad-hoc—mixing rule-based and LLM-based features without clear ablations on which matter. A simpler baseline (just count hedge words) might get 80% of the signal with 20% of the complexity.
Experimental integrity: Strong diversity in models (o1, DeepSeek, Llama) and datasets (MATH, MMLU, reasoning benchmarks). The finding that different uncertainty estimators disagree on the same traces is the most valuable result—it exposes fragility in prior work that relied on single estimators. Baselines are fair. One weakness: no user study validating that their linguistic decisiveness scores actually match human perception of confidence. They assume “definitely” signals high confidence, but in context, it might signal something else (emphasis, hedging via overstatement).
Writing quality: The abstract and introduction are excellent—clear problem statement, motivation. The methods section buries critical details (how exactly do you aggregate token probabilities over variable-length traces? What’s the probe architecture?). Table 1 should be Figure 1. The discussion overreaches slightly—claiming FC is a “distinct alignment target” is premature without showing that optimizing FC improves downstream outcomes (trust, appropriate reliance, etc.). Rewriting Section 3.2 (Internal Uncertainty Estimation) with worked examples would elevate the whole paper.
Verdict: weak accept — Addresses a real problem with a principled framework and strong empirical coverage, but the method has enough complexity and unanswered questions (Why do estimators disagree? Which linguistic features drive the signal?) that it feels more like “here’s a useful diagnostic tool” than “here’s a solved problem.” The contribution is measurement infrastructure, not a solution.
Takeaways
Prefix-conditioned sampling is the steal. Any time you’re evaluating probabilistic outputs with high structural variance (summarization, code generation, creative writing), this trick—fix the prefix, sample the suffix—lets you measure uncertainty without confounding from format differences. Implement it: generate K tokens deterministically (or fix the seed), then sample N completions from token K onward.
Multi-signal uncertainty is essential for reasoning models. Token probabilities alone are noisy for long traces. Hidden-state probes + sampling consistency give you triangulation. If all three agree, trust the signal. If they disagree, you’ve found a calibration failure mode worth investigating.
Decisiveness ≠ confidence without grounding. The paper shows that reasoning models can sound decisive while being internally uncertain. Practical implication: don’t let verbose, confident-sounding outputs bypass human oversight in high-stakes contexts. Build UIs that surface uncertainty signals (sampling variance, probability distributions) alongside the reasoning trace.
The meta-lesson: reasoning behavior doesn’t automatically solve alignment problems. Chain-of-thought makes models better at tasks, but it doesn’t make them more honest about their limitations. You need separate mechanisms to enforce faithful uncertainty communication.
论文: 2606.03969 作者: Areeb Gani, Asal Meskin, Gabrielle Kaili-May Liu, Arman Cohan 分类: cs.CL, cs.AI
缺口
现有的大语言模型校准研究聚焦于短输出:问个问题,得到一个置信度分数,检查它是否与正确性对齐。
这对问答模型有效,但对**大型推理模型(LRMs)**如 o1 或 DeepSeek-R1 失效——它们在回答前生成多步推理链。
用户把这些冗长的推敲过程解读为置信度信号——推理越长 = 越深思熟虑 = 越有信心。
但没人系统地检查过这些推理链中的语言置信度(“肯定”、“可能”、“也许”等词)是否真正反映模型的内部不确定性(token 概率、隐藏状态、采样方差)。
以往关于忠实校准(FC)的工作假设步骤边界清晰、预测相互独立。
LRMs 打破了这两点:推理步骤相互模糊,条件依赖在推理链中层层传递,结构变异让”步骤置信度”的定义都变得不清楚。
这个领域有一个测量问题伪装成建模问题。
问题:LRMs 生成长推理链
用户把长度/细节解读为置信度信号
|
v
缺口:没法测量多步推理中表达的置信度
是否与内部不确定性匹配
|
v
挑战:以往 FC 指标假设:
- 清晰的步骤边界(LRMs:模糊)
- 独立的预测(LRMs:级联依赖)
- 一致的结构(LRMs:高方差)
|
v
方法:新的 FC 框架:
- 3 种内部不确定性估计器(token/隐藏/采样)
- 前缀条件采样控制变异
- 语言果断性分析
|
v
证据:在多个 LRMs、数据集、提示上测试
发现:FC 普遍很差
不同估计器对同一推理链给出相反结论
推理能力 ≠ 更好的校准
|
v
结论:FC 是 LRMs 的独立对齐目标
现有方法很脆弱
增量
一句话:这篇论文之前,我们假设推理模型的冗长输出反映了真实的深思熟虑和适当的置信度;
之后,我们知道它们表达的置信度与内部不确定性系统性地错位,并且有了量化这一差距的框架。
核心机制
框架分三部分:内部不确定性估计、语言置信度提取、对齐度量。
对于内部不确定性,他们用三个独立信号。
Token 级置信度聚合推理链上的下一个 token 概率——像检查模型对自己说的话有多惊讶。
隐藏状态不确定性在模型的内部表示上训练探针预测正确性——捕捉模型”知道”但没说出来的信息。
采样一致性对同一提示生成多个响应并测量一致性——如果模型给出不同答案,说明它不确定。
语言侧解析推理链中的果断性标记:确定性词汇(“当然”、“显然”)、模糊词(“可能”、“或许”)、结构线索(条件性措辞、自我修正)。
它们为每条推理链打一个从犹豫到绝对的果断性分数。
关键创新是前缀条件采样。
不是比较结构差异巨大的推理链(有的 50 个 token,有的 500 个),而是保持推理前缀不变——从同一部分推理链生成多个完成——这样结构变异就不会混淆不确定性信号。
输入提示
|
v
[LRM 生成推理链]
|
+---> Token 概率 --> 聚合 --> 不确定性_token
|
+---> 隐藏状态 --> 探针分类器 --> 不确定性_hidden
|
+---> 采样 N 次 --> 测量方差 --> 不确定性_sampling
|
v
解析语言标记
|
v
果断性分数 (0-1)
|
v
比较:高果断性是否对齐低不确定性?
低果断性是否对齐高不确定性?
|
v
忠实校准分数
把它想象成读某人的扑克脸。
三个不确定性估计器就像观察他们的瞳孔放大(token 概率)、心率(隐藏状态)、以及他们在多轮牌局中是否下同样的注(采样一致性)。
语言分析是读他们的口头习惯——他们说”我全下”还是”我可能跟”?
前缀条件采样就像重放同一手牌多次但只改变最终决策,这样你能把置信度和运气隔离开。
你在检查:当他们的生理反应尖叫着不确定时,他们嘴上说的是”也许”,还是仍然用”肯定”虚张声势?
关键概念
- 忠实校准(FC):模型内部”相信”的(不确定性)与它语言上”说出”的(表达的置信度)之间的对齐。
校准良好的模型会在 token 概率低或采样答案发散时说”我不确定”。
校准不良的模型即使内部不确定也会说”肯定”。
这不是关于模型是否正确——而是关于它的置信度表达相对于内部状态是否诚实。
例子:模型生成”答案肯定是 42”,token 概率 60%,采样一致性 50%。
高果断性 + 高不确定性 = 差 FC。
- 前缀条件采样:通过固定推理前缀只改变完成部分来控制结构变异。
如果你问推理模型同一个问题两次,可能得到 3 步推理链 vs 7 步推理链——比较它们的置信度是苹果和橘子。
换个做法:生成前 K 个 token 一次,然后从这个共享前缀采样多个完成。
现在所有推理链有相同的早期推理结构,不确定性方差反映真正的置信度差异,而非随机的结构漂移。
例子:前缀 = “让我们拆解:首先,我们知道 X。
其次,Y 意味着…” → 采样 20 个不同的结尾 → 测量它们的一致性。
- 语言果断性:从词汇选择和措辞结构量化置信度。
高果断性 = 确定性语言(“显然”、“明显”、“必须是”),直接断言,无模糊词。
低果断性 = 模糊词(“可能”、“或许”),条件性框架(“如果 X 那么也许 Y”),自我修正(“实际上,再想想”)。
论文使用基于规则的解析和基于 LLM 的分类提取这些特征,然后聚合成 0-1 分数。
例子:“答案是 42”(高)vs “如果我们假设 X,那么可能是 42,尽管也可能是 41”(低)。
框架转变
之前(主流校准): 之后(本文方法):
提示 --> 模型 --> 答案 提示 --> 模型 --> [推理链]
| |
v +---> Token 概率
置信度分数 |
| +---> 隐藏状态
v |
与正确性比较 +---> 采样方差
|
v
内部不确定性
|
v
解析语言果断性
|
v
比较:它们对齐吗?
单步,清晰边界 多步,模糊依赖
置信度 = 一个数字 置信度 = 语言模式
校准 = 正确性匹配 校准 = 内部/外部匹配
一句话:从把置信度当作对最终答案的事后正确性检查,到把它当作扩展推理中内部不确定性与语言表达之间的多信号对齐问题。
专家评审
选题眼光:真实且及时。
随着推理模型激增,用户确实把冗长输出解读为置信度信号。
“看起来深思熟虑”和”实际上有信心”之间的差距关乎信任。
这处于可解释性、校准和人机交互的交叉点——是基础 LLM 校准工作的自然下一步。
方法成熟度:三个不确定性估计器单独看都扎实但不新颖(token 概率和采样是标准做法;
隐藏状态探针借自可解释性研究)。
真正的贡献是前缀条件采样,它优雅地解决了结构变异问题。
但语言果断性评分仍感觉有些临时拼凑——混合基于规则和基于 LLM 的特征,没有清晰的消融实验说明哪些重要。
更简单的基线(只数模糊词)可能用 20% 的复杂度得到 80% 的信号。
实验诚意:模型(o1、DeepSeek、Llama)和数据集(MATH、MMLU、推理基准)多样性强。
发现不同不确定性估计器对同一推理链给出相反结论是最有价值的结果——它暴露了依赖单一估计器的以往工作的脆弱性。
基线公平。
一个弱点:没有用户研究验证他们的语言果断性分数是否真正匹配人类对置信度的感知。
他们假设”肯定”传递高置信度,但在上下文中,它可能传递别的东西(强调、通过夸大来模糊)。
写作功力:摘要和引言优秀——问题陈述清晰,动机充分。
方法部分掩埋了关键细节(你到底如何在变长推理链上聚合 token 概率?
探针架构是什么?
)。
表 1 应该是图 1。
讨论部分稍微过度延伸——声称 FC 是”独立的对齐目标”有些草率,没有展示优化 FC 是否改善下游结果(信任、适当依赖等)。
重写 3.2 节(内部不确定性估计)加上实例演示能让整篇论文升一个档次。
判决:弱接收 — 用原则性框架和强实证覆盖解决真实问题,但方法有足够的复杂性和未解答的问题(为什么估计器分歧?
哪些语言特征驱动信号?
),感觉更像”这是一个有用的诊断工具”而非”这是一个已解决的问题”。
贡献是测量基础设施,不是解决方案。
要点总结
前缀条件采样是可偷的点。
任何时候你在评估有高结构变异的概率性输出(摘要、代码生成、创意写作),这个技巧——固定前缀,采样后缀——让你在不被格式差异混淆的情况下测量不确定性。
实现它:确定性地生成 K 个 token(或固定种子),然后从 token K 往后采样 N 个完成。
多信号不确定性对推理模型至关重要。
Token 概率单独看对长推理链有噪声。
隐藏状态探针 + 采样一致性给你三角验证。
如果三者一致,信任这个信号。
如果分歧,你找到了值得研究的校准失效模式。
果断性 ≠ 置信度,除非有落地验证。
论文显示推理模型可以听起来果断但内部不确定。
实践意义:别让冗长、听起来自信的输出在高风险场景中绕过人工监督。
构建 UI 在推理链旁边展示不确定性信号(采样方差、概率分布)。
元教训:推理行为不会自动解决对齐问题。
思维链让模型在任务上更好,但不会让它们对自己的局限更诚实。
你需要单独的机制来强制忠实的不确定性沟通。