@misc{indiciae6a0f1b578094,
  title = {TAPS: Connecting Certified and Adversarial Training},
  author = {Yuhao Mao and Mark Niklas Müller and Marc Fischer and Martin Vechev},
  year = {2023},
  url = {https://arxiv.org/abs/2305.04574},
  note = {Source identifier: 2305.04574}
}