Matthias König, Holger H. Hoos, Jan N. van Rijn. Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio. Machine Learning, 111(12):4565-4584, 2022. [doi]
@article{KonigHR22,
title = {Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio},
author = {Matthias König and Holger H. Hoos and Jan N. van Rijn},
year = {2022},
doi = {10.1007/s10994-022-06212-w},
url = {https://doi.org/10.1007/s10994-022-06212-w},
researchr = {https://researchr.org/publication/KonigHR22},
cites = {0},
citedby = {0},
journal = {Machine Learning},
volume = {111},
number = {12},
pages = {4565-4584},
}