no code implementations • 28 Sep 2021 • Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan
In this paper, we propose a framework to repair a pre-trained feed-forward neural network (NN) to satisfy a set of properties.