Carnegie Mellon University, Pittsburgh, PA 15213; Center for AI Safety, San Francisco, CA 94111
Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson
adversarial robustness;ImageNet;Lipschitz-based certification;ResNet;adversarial examples;ML security
Unlocking Deterministic Robustness Certification on ImageNet