@misc{indiciae2bd31fcbd686,
  title = {IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound},
  author = {Alessandro De Palma and Rudy Bunel and Krishnamurthy Dvijotham and M. Pawan Kumar and Robert Stanforth},
  year = {2023},
  url = {https://arxiv.org/abs/2206.14772},
  note = {Source identifier: 2206.14772}
}