Prompt Certified Machine Unlearning with Randomized Gradient Smoothing and Quantization - Zhang, Zijie; Zhou, Yang; Zhao, Xin; Che, Tianshi; Lyu, Lingjuan (Advances in Neural Information Processing Systems, 2022)