arXiv cs.LG· Ziyu Zhao, Xinyu Wang, Xiaowen Chang, Yixuan He·· 29 天前AI 评分34
机器遗忘：从数学证书到可执行证书
From Mathematical to Executable Certificates for Machine Unlearning
AI 导读
研究人员提出 ExecCert 框架，在发布阶段直接验证候选工件，将机器遗忘的数学保证转化为有限精度软件的可执行认证。该框架支持闭合原生证书或采用重训练参考发布验证（RRV），并包含应对连续删除的增量实现。在 4 个已发表遗忘实现中，ExecCert 消除了错误发布并收紧保守界限，在频繁检查下显著降低了开销。
来源：arXiv cs.LG · arxiv.org