Provable Gradient Editing of Deep Neural Networks - Tao, Zhe; Thakur, Aditya V (Advances in Neural Information Processing Systems, 2025)