@misc{indiciae1170889ea754,
  title = {Verification of Neural Networks: Enhancing Scalability through Pruning},
  author = {Dario Guidotti and Francesco Leofante and Luca Pulina and Armando Tacchella},
  year = {2020},
  url = {https://arxiv.org/abs/2003.07636},
  note = {Source identifier: 2003.07636}
}