Local Repair of Neural Networks Using Optimization

Keyvan Majd, Siyu Zhou, Heni Ben Amor +2

In this paper, we propose a framework to repair a pre-trained feed-forward neural network (NN) to satisfy a set of properties. We formulate the properties as a set of predicates th…