Certified Knowledge Editing: Closed-Form Reachability Guarantees for Additive Edits to a Frozen Language Model
Knowledge edits to language models are usually validated after the fact. This paper studies the reverse contract: a closed-form certificate, computed before an edit is applied, of exactly which single-token edits can succeed on a frozen decoder-only language model with an additive gated memory. The certificate reduces...