Loss is Not Behavior: A Unified Output-Space Analysis of Gradient-Based Machine Unlearning
Derives closed-form output-space gaps for gradient-based unlearning in linear regression, extended to nonlinear models, and proposes leverage diagnostics for auditing forget sets.