@article{JMLR:v25:23-0119,
  author  = {Matthias K{{\"o}}nig and Annelot W. Bosman and Holger H. Hoos and Jan N. van Rijn},
  title   = {Critically Assessing the State of the Art in Neural Network Verification},
  journal = {Journal of Machine Learning Research},
  year    = {2024},
  volume  = {25},
  number  = {12},
  pages   = {1--53},
  url     = {http://jmlr.org/papers/v25/23-0119.html}
}