Speeding up neural network verification via automated algorithm configuration

Author(s):: König, H.M.T.; Hoos, H.H. (0000-0003-0629-0099); Rijn, J.N. van (0000-0003-2898-2168)

Published: 2021
Publication type: Article in monograph or in proceedings

Neural network verificationAI safetyAutomated algorithm configurationAutoMLSMAC

Date issued: 2021
Language: English
Is part of: ICLR Workshop on Security and Safety in Machine Learning Systems
hdl: 1887/3277268
URL: https://tailor-network.eu/wp-content/uploads/dlm_uploads/2021/06/A4_Konig-et-al-v2-Workshop_Poster_Tailor.pdf