Tag
The paper introduces ExecCert, a release-time certification layer that bridges the gap between mathematical certified machine-unlearning guarantees and the concrete finite-precision artifacts actually deployed, including an incremental Retraining-Reference Release Verification for sequential deletion requests.