Lipschitz-Based Robustness Certification Under Floating-Point Execution

Toby Murray

Lipschitz-based robustness certification bounds a network's sensitivity through concrete numerical computation rather than symbolic reasoning, and so scales efficiently. It is incr…