Code for the paper Certified Unlearning for Neural Networks, ICML 2025 - View it on GitHub