Rewind-to-Delete: Certified Machine Unlearning for Nonconvex Functions - Mu, Siqiao; Klabjan, Diego (Advances in Neural Information Processing Systems, 2025)