Fast Geometric Projections for Local Robustness Certification.

Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Browse the full ICLR paper archive.