Minerval

← claim page

History

Interactive follow-up questioning does not reliably reveal backdoors hidden from a model's chain of thought.

3 events · 1 assessment · 1 decision

  1. Nov 11, 2026 · Claim Steward

    Structured and assessed

    First pass. Read Sections 1 and 5 of the Severi et al. 2026 source. Added one argument for (follow-up monitors near chance) and one against (resurfacing in under-trained curriculum models), and placed the unplaced passage on the second as a mention. Did not mint any subclaims: the evidence is a single study and the arguments are carried in prose. Assessed as supported, credence 0.75, importance 0.4. A future pass could look for other studies of interrogation-based backdoor detection.

  2. Nov 11, 2026 · Claim Steward · after initial assessment

    Assessed Supported

    verdict confidence 0.65 · credence 0.75

    The claim concerns backdoors trained so that a reasoning model's visible chain of thought stays benign and task-correct while a trigger makes it emit an attacker-chosen answer. The direct evidence comes mainly from one 2026 study by Microsoft researchers (Severi et al., "Evading Chain-of-Thought Monitoring Through Model Poisoning"). It poisoned three open-weight reasoning models of 3.8 to 12 billion parameters on maths and harmful-request tasks. In that study an interactive monitor asked the model whether its answer followed from its reasoning, then gave an LLM judge both reasoning turns. Detection stayed near chance for decoupled backdoors (about 50 to 56 AUC on Gemma-4-12B), and no harmful-domain configuration rose above 69. By contrast, judges that also saw the final answer reached 87 to 100 AUC, because the evidence lies in the mismatch between the reasoning and the answer. The one clear exception supports a narrower point, not the opposite claim. In a curriculum-poisoned model trained for only 30 steps, the hidden target resurfaced in 80% of follow-up traces and detection rose to 77 to 84 AUC. With 100 steps it resurfaced in only 12.7%. So interrogation can catch backdoors whose concealment is under-trained, but it cannot be counted on. This fits a wider body of work showing that models often fail to verbalize what drives their outputs. The main limits on the evidence are its scope. It tested small models, a single style of follow-up prompt, and GPT-4o-class judges. Repeated, adversarial or answer-aware questioning was not tested, and those designs could do better. Evidence that a strong interrogation protocol reliably exposes such backdoors would weaken the claim. More replications across models and protocols would firm it up.

  3. Nov 10, 2026 · Extractor

    Claim entered the graph