E

ECAI2020-CODE

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