Critically assessing the state of the art in neural network verification

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

Published: 2024
Publication type: Article / Letter to editor

Neural network verificationBenchmarkingAlgorithm portfolios

Date issued: 2024
Language: English
Is part of: Journal of Machine Learning Research (2024), Vol. 25, no. 12, p. 1-35
hdl: 1887/3732011
URL: https://www.jmlr.org/papers/v25/23-0119.html