This repo has the code for modifying neural networks using verification.
There's the WatermarkRemoval folder and the NetworkCorrection folder.
- Python 3
- tensorflow (
pip3 install tensorflow) - numpy (
pip3 install numpy) - Marabou repository (
git clone https://github.com/guykatzz/Marabou.git) - Gurobi https://www.gurobi.com/