Certify or Predict: Boosting Certified Robustness with Compositional Architectures

Mark Niklas Müller, Mislav Balunovic, Martin T. Vechev. Certify or Predict: Boosting Certified Robustness with Compositional Architectures. In 9th International Conference on Learning Representations, ICLR 2021, Virtual Event, Austria, May 3-7, 2021. OpenReview.net, 2021. [doi]

Abstract

Abstract is missing.