Provable Editing of Deep Neural Networks using Parametric Linear Relaxation - Tao, Zhe; Thakur, Aditya V. (Advances in Neural Information Processing Systems, 2024)