HIGHLIGHTS
- who: Matthias Ku00f6nig from the Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands have published the article: Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio, in the Journal: (JOURNAL)
- what: In light of this, approaches have been developed to more thoroughly verify neural_networks (Scheibler et_al, 2015; Bastani et_al, 2016; Ehlers, 2017; Katz et_al, 2017; Dvijotham et_al, 2018; Gehr et_al, 2018; Xiang et_al, 2018; Bunel et_al, 2018; Tjeng et_al, 2019; Botoeva et_al, 2020). The experiments showed that, depending on the classifier to be . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.