Fastened CROWN: Tightened Neural Network Robustness Certificates.

Zhaoyang Lyu, Ching-Yun Ko, Zhifeng Kong, Ngai Wong, Dahua Lin, Luca Daniel

Browse the full AAAI paper archive.