@misc{indiciae917445ce742d,
  title = {Expediting Neural Network Verification via Network Reduction},
  author = {Yuyi Zhong and Ruiwei Wang and Siau-Cheng Khoo},
  year = {2023},
  url = {https://arxiv.org/abs/2308.03330},
  note = {Source identifier: 2308.03330}
}