Auditing black-box (behavioral) detection of unfaithful CoT against FaithCoT-Bench's human annotations, the authors find answer correctness structures the problem at every level.
Abstract
Chain-of-thought (CoT) explanations support oversight only if they are faithful: the stated reasoning must actually produce the answer. Auditing black-box (behavioral) detection of unfaithful CoT against FaithCoT-Bench's human annotations, we find answer correctness structures the problem at every level. Answer incorrectness alone (an oracle diagnostic, not a deployable detector) outperforms every purpose-built signal (AUROC 0.696), because 69% of annotated unfaithfulness occurs on incorrect answers. Stratifying by correctness splits detection into two regimes: on correct answers, behavioral signals moderately separate faithful from post-hoc reasoning (0.63-0.67); on incorrect answers, where most unfaithfulness lives, no tested signal is detectably above chance (replicated on all four models for benchmark-wide signals). The standard step-removal metric anti-correlates with human labels; this inversion reproduces on the benchmark's released scores and on hint-dependent counterfactually labeled traces. Linear probes decode the behaviorally blind regime in Llama-3.1-8B and the correct-answer regime in Qwen-2.5-7B, with no shared, positively aligned direction detected across regimes; instructed answer-first traces (7 models) transfer to neither annotated regime, while hint-induced unverbalized answer flips do, in model- and source-dependent settings. We also independently verify and resolve a documentation-data mismatch in the benchmark's label semantics.
A Au-diting black-box (behavioral) detection of un-faithful CoT against FaithCoT-Bench’s human annotations, and independently verify and resolve a documentation–data mismatch in the bench-mark’s label semantics.
Suramya R. Angdembay, Dikshant Aryal, Nick Rahimi· arXiv.org· 0 citations
A probe corpus of 42 retracted, fraudulent, and pseudoscientific papers is paired with a methodology for eliciting and scoring single-shot model engagement with each paper's framing, indicating an urgent need for guardrail infrastructure for scientific deployment of language models.
This work formalizes reasoning consistency as distinct from faithfulness and defines a six-subtype taxonomy of inconsistency, showing that reasoning inconsistency is present, detectable, and varies systematically across both models and task types.
RAudit, a diagnostic protocol for auditing LLM reasoning without ground truth access, is presented and it is proved bounded correction and O ( log ( 1 /𝜀)) termination are proved.
Unknown authors· System-2 Reasoning: From Sem...· 0 citations
This work shows that chain-of-thought monitoring is meant to catch the reward hacks that look clean in the actions and betray themselves only in the reasoning, and it is shown that this is exactly where an adversary who controls the reasoning can de-feat it.
The Reasoning Answer Faithfulness Score (RAFS) is introduced, a reference free, instance level diagnostic of whether an emitted mathematical trace is locally credible, supports its answer, and is stable under resampling and targeted counterfactual interventions.
Vivek Shukla, Varun Shukla, Atul et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.