@misc{indiciae697cafd3539a,
  title = {Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization},
  author = {Navid Hashemi and Justin Ruths and Mahyar Fazlyab},
  year = {2021},
  url = {https://arxiv.org/abs/2012.05981},
  note = {Source identifier: 2012.05981}
}