Train the Model, Not the Reader: Decodability Supervision for Verifiable Activation Explanations
Summary
This paper demonstrates that reconstruction-based tests for activation explanations can be gamed, producing high scores while specific claims remain false. It proposes RECAP, which trains linear heads alongside the target model to keep designated internal content reliably decodable and independently verifiable against probes, improving safety auditing.
View Cached Full Text
Cached at: 07/24/26, 05:07 AM
Paper page - Train the Model, Not the Reader: Decodability Supervision for Verifiable Activation Explanations
Source: https://huggingface.co/papers/2607.20379
Abstract
Natural-languageautoencodersscoreexplanationsofhiddenactivationsbyreconstruction:anexplanationisdeemedfaithfuliftheactivationcanberegeneratedfromit.Thetestisstructurallyinsensitivetoindividualfalseclaims:ifflippingaclaimdoesnotchangethereconstruction,theclaimisneverpenalized.Weshowthetestispassedintwoways,neitherfaithful.OnareleasedQwen-2.5-7Bverbalizer,explanationsreconstructwellabovechancewhile~2%ofspecificclaimsarereconstruction-dependent,sothescoretracksgist,notspecificfacts.Underexactsyntheticgroundtruth,thestandardrecipedevelopsco-adaptedprivatecodes(falsewordingthereconstructiondependson)in5/5runs,andfixesthatleavethetargetmodelunchangeddonothelp.Wecontributetwoauditprotocols,thegrounded-vs-truecrossandtheevaluatorswap,andRECAP(ReadableEncodingsviaCo-trainedAuxiliaryPredictors):linearheadstrainedalongsidethetargetmodeltokeepdesignatedcontentdecodable.OnRECAP-trainedsandboxmodels,freshverbalizersstatethedesignatedcontenttrulyandthecodesvanish,ata+0.001-natcost.ThisreplicatesonapretrainedPythia-160M:thecontentbecomesreliablyprobe-decodable,thoughafreshverbalizerconveysitonlyinpart(truth0.44-0.46vsanear-zerocontrol).Forinterpretability,highreconstructiondoesnotcertifyindividualclaims.ForAIsafety,RECAPmakesdesignatedinternalcontentindependentlycheckableagainstprobesratherthanassertedbyproseamodelcangame:anindependentprobescorestheverbalizer’strueclaimsaboveitsfalseones(AUC0.96,vs0.82withoutRECAP).Againstanadversarythateditsanexplanationtomaximizethereconstructionscorewhilelying(suppressing~87%ofitsliepenalty),theRECAPprobestillflagsthelies(AUC0.95)whilethecontrolprobecollapsestochance(0.51).
View arXiv pageView PDFAdd to collection
Get this paper in your agent:
hf papers read 2607\.20379
Don’t have the latest CLI?curl \-LsSf https://hf\.co/cli/install\.sh \| bash
Models citing this paper0
No model linking this paper
Cite arxiv.org/abs/2607.20379 in a model README.md to link it from this page.
Datasets citing this paper0
No dataset linking this paper
Cite arxiv.org/abs/2607.20379 in a dataset README.md to link it from this page.
Spaces citing this paper0
No Space linking this paper
Cite arxiv.org/abs/2607.20379 in a Space README.md to link it from this page.
Collections including this paper1
Similar Articles
Decoding Hidden Deception in Reasoning LLMs: Activation Explainers for Deception Auditing
Introduces STATEWITNESS, an activation explainer for auditing deception in reasoning LLMs, achieving significant improvements over existing monitors and providing human-inspectable evidence.
Cycle-Consistent Neural Explanation of Formal Verification Certificates
This paper proposes a cycle-consistent neural architecture that generates faithful natural language explanations of formal verification certificates, achieving 90% soundness and 860x faster inference than LLM baselines.
When Explanations Betray Backdoors: Black-Box Auditing for Language Model Classifiers
This paper introduces Groundedness Drift, a score for black-box auditing of language model classifiers to detect backdoors using clean calibration data and explanatory outputs. It demonstrates higher detection performance across multiple attack families and datasets.
REVES: REvision and VErification--Augmented Training for Test-Time Scaling
Proposes REVES, a two-stage iterative framework that alternates between data augmentation and policy optimization to improve LLM reasoning by leveraging intermediate correction steps, achieving superior performance on coding benchmarks and constraint satisfaction problems.
Prover-Verifier Games improve legibility of language model outputs
OpenAI researchers found that optimizing language models purely for correct answers reduces human interpretability, and propose 'prover-verifier games' where a prover generates solutions and a verifier checks them, improving legibility for both humans and AI systems.