CPS2019 Workshop

Code repository for the experiments related to the AIIA 2019 paper "Verification and Repair of Neural Networks: a Progress Report on Convolutional Models".

Code for reproducing the experiments related to the paper "Verification of Neural Networks: Enhancing Scalability through Pruning".

New version of NeVer.