2025
Provable Gradient Editing of Deep Neural Networks
NeurIPS 2025spotlight
In explainable AI, DNN gradients are used to interpret the prediction; in safety-critical control systems, gradients could encode safety constraints; in scientific-computing applications, gradients could encode physical invariants. While recent work on provable editing of DNNs has focused on input-o…