@misc{indiciae289d786b464a,
  title = {A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation},
  author = {Zhiyi Xue and Si Liu and Zhaodi Zhang and Yiting Wu and Min Zhang},
  year = {2023},
  doi = {10.1145/3597926.3598127},
  url = {https://arxiv.org/abs/2305.16998},
  note = {Source identifier: 2305.16998}
}