@article{tapsconnectingcertifiedandadversarial,
  title = {TAPS: Connecting Certified and Adversarial Training},
  author = {Yuhao Mao and Mark Niklas Müller and Marc Fischer and Martin Vechev},
  year = {2023},
  eprint = {2305.04574},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.04574v2},
}