Lyu Z, Ko C-Y, Kong Z, Wong N, Lin D, Daniel L. Fastened CROWN: Tightened Neural Network Robustness Certificates. AAAI [Internet]. 2020Apr.3 [cited 2024Sep.22];34(04):5037-44. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/5944