TY  - RPRT
TI  - From Mathematical to Executable Certificates for Machine Unlearning
AU  - Ziyu Zhao
AU  - Xinyu Wang
AU  - Xiaowen Chang
AU  - Yixuan He
PY  - 2026
UR  - https://arxiv.org/abs/2610.02268
ID  - 2610.02268
ER  -