Critically assessing the state of the art in neural network verification
- Author(s):
- König, H.M.T.; Bosman, A.W. (0009-0004-1050-5165); 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-01-01
- Language
- English
- Publisher (host)
- Prague : [Publisher not identified]
- Is part of
- Journal of Machine Learning Research (2022), Vol. 25, no. 12, p. 1-53
- hdl
- 1887/4252219
- URL
- https://www.jmlr.org/papers/v25/23-0119.html
Funding
- Sponsorship
- Horizon 2020(H2020)
