Open AccessTightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation
Author(s) -
Yi-Ting Wu,
Min Zhang
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v35i13.17388
Subject(s) - mnist database , robustness (evolution) , convolutional neural network , computer science , upper and lower bounds , speedup , sigmoid function , artificial neural network , artificial intelligence , perturbation (astronomy) , algorithm , mathematics , parallel computing , physics , mathematical analysis , biochemistry , chemistry , quantum mechanics , gene