Efficient Verified Unlearning For Distillation | Read Paper on Bytez