Repair Instead of Retraining: A Constraint-Guided Framework for Neural Network Repair
This paper introduces a constraint-guided framework that repairs deployed neural networks by localizing fault-relevant weights via DeepSHAP, collecting symbolic constraints through concolic testing, and optimizing updates with Max-SMT, demonstrating through extensive experiments that systematic design-space exploration reveals critical repair strategies—such as bias-only modifications—that significantly reduce adversarial and backdoor vulnerabilities while preserving model fidelity.