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.
Introduces Conformal Selective Acting (CSA), a deployment-time wrapper for RLVR-trained LLMs that provides anytime-valid selective risk control on individual streams, enabling safe deployment in regulated settings without pooling or long-run averages.