TY  - RPRT
TI  - Fastened CROWN: Tightened Neural Network Robustness Certificates
AU  - Zhaoyang Lyu
AU  - Ching-Yun Ko
AU  - Zhifeng Kong
AU  - Ngai Wong
AU  - Dahua Lin
AU  - Luca Daniel
PY  - 2019
UR  - https://arxiv.org/abs/1912.00574
ID  - 1912.00574
ER  -