This repository contains source code and data of paper "A General Framework for Accelerating Constraint-Based Neural Network Repairs".

The source code of our example selection strategy is under the directory "preProcessing".

The directory "networks" contains the networks used in the experiments.

"PRDNN" and "RIPPLE" contains the source code and results of our experiment on the two methods.

The standard and adversarial training set and test set are available at https://zenodo.org/record/7614338#.Y-GaIy9BwdV.

The filtered example set are too large to be in this repository and can be generated with the code in "preProcessing".