TY  - RPRT
TI  - Verification of Neural Networks: Enhancing Scalability through Pruning
AU  - Dario Guidotti
AU  - Francesco Leofante
AU  - Luca Pulina
AU  - Armando Tacchella
PY  - 2020
UR  - https://arxiv.org/abs/2003.07636
ID  - 2003.07636
ER  -