@misc{indiciae49a34c572cd5,
  title = {Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks},
  author = {Mathias Lechner and Đorđe Žikelić and Krishnendu Chatterjee and Thomas A. Henzinger and Daniela Rus},
  year = {2022},
  url = {https://arxiv.org/abs/2211.16187},
  note = {Source identifier: 2211.16187}
}