Efficient Verified Unlearning For Distillation - Quan, Yijun; Li, Zushu; Montana, Giovanni (Advances in Neural Information Processing Systems, 2025)