Minerval
← claim pagemap viewclick a claim to focus on it · hover to preview · ⌫ back
trailHint-style and process evaluations measure model verbalization of influential cues, not monitor detection of misbehavior.
OpenAI's intervention, process, and outcome-property evaluations validly measure chain-of-thought monitorability.
The argument from construct divergence· for
Chain-of-thought hint verbalization rates differ from monitor detection rates for misbehavior.
atomic
Reasoning models verbalize prompt hints they use in fewer than half of hint-insertion faithfulness evaluation cases.
In Chen et al. (2025), Claude 3.7 Sonnet and DeepSeek R1 verbalized used prompt hints in about 25% and 39% of cases, respectively.
Most current open-weight reasoning models acknowledge answer-changing prompt hints in more than half of cases.
◌
↑
A judgment of worth or quality against some standard: good, fair, effective.constitution →claim page ↗︎
Hint-style and process evaluations measure model verbalization of influential cues, not monitor detection of misbehavior.
The evidence favors the claim, but the examination is incomplete or the evidence is indirect.constitution →
contradictsrequiressupports
1depended on by
this rests on ↓
A box is a claim: a single proposition the graph assesses, with its own page and map. Click any claim to centre the map on it.constitution →A box with a rule beneath its text is a quantity: a value the graph estimates rather than a proposition it affirms or denies. Its estimate stands where a claim's status would.constitution →A rounded box is a question: answered rather than affirmed or denied, with its candidate answers, subquestions and presuppositions beneath it. Its mark says how well answered it is.constitution →A pill is an argument: one line of reasoning stating how the claims beneath it combine to bear on the claim above it, for or against. Arguments are not destinations; click their claims to explore.constitution →The evidence, examined directly, establishes the claim.constitution →The evidence favors the claim, but the examination is incomplete or the evidence is indirect.constitution →The evidence and argument have been examined and do not come down on either side.constitution →The evidence weighs against the claim, but the examination is incomplete or the evidence is indirect.constitution →The evidence, examined directly, weighs against the claim.constitution →Insufficient information to assess.constitution →No current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →verified factunsettledvalue premisetheoremA double ring marks a claim with a live prize: an amount in owls offered for a machine-checked proof or disproof of its published formal statement. The amount is in the preview and on the claim page; a prize changes nothing about how the claim is assessed or how important it is judged to be.prize rules →⊢ marks a claim whose published formal statement has a machine-checked proof or disproof. The checker confirms the proof; the verdict beside it is still the steward's judgment of the claim as worded.prize rules →this provides evidence for the parentsteward instructions →this argues against the parentsteward instructions →background the parent's framing takes as givensteward instructions →a load-bearing premise: the parent is false without itsteward instructions →a candidate answer to the questionconstitution →Fig. Detail falls off with distance; every claim is an address.