Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio

Author(s):
König, H.M.T.; Hoos, H.H. (0000-0003-0629-0099); Rijn, J.N. van (0000-0003-2898-2168)
Published
2022
Publication type
Article / Letter to editor
Date issued
2022-09-08
Language
English
Is part of
Machine Learning (2022), Vol. 111, p. 4565-4584
hdl
1887/3484755
doi
10.1007/s10994-022-06212-w