Critically assessing the state of the art in neural network verification

König, H.M.T.; Bosman, A.W.; Hoos, H.H.; Rijn, J.N. van (2024)

Article / Letter to editor

• Neural network verification
• Benchmarking
• Algorithm portfolios

• All authors: König, H.M.T.; Bosman, A.W.; Hoos, H.H.; Rijn, J.N. van
• Date: 2024
• Journal: Journal of Machine Learning Research
• Volume: 25
• Issue: 12
• Pages: 1 - 35
• Link: https://www.jmlr.org/papers/v25/23-0119.html