arXiv 机器学习· Ziyu Zhao, Xinyu Wang, Xiaowen Chang, Yixuan He·· 6 小时前AI 评分32
机器遗忘：从数学证书走向可执行证书
From Mathematical to Executable Certificates for Machine Unlearning
AI 导读
研究人员提出可执行发布认证框架 ExecCert，旨在弥合机器遗忘数学保证与有限精度软件工件部署之间的差距。ExecCert 可闭合原生证书，或通过重训练参考发布验证（RRV）及其增量实现来检验候选工件与重训练的一致性。在 4 个公开的遗忘实现测试中，该框架消除了错误发布、收紧了保守界限，并在高频检查下显著降低了开销。
来源：arXiv 机器学习 · arxiv.org