Is Neural Network Verification Useful and What Is Next? (bibtex)

Reference:

Taylor T. Johnson, "Is Neural Network Verification Useful and What Is Next?", In 61st Allerton Conference on Communication, Control, and Computing, 2025.

Bibtex Entry:

@inproceedings{johnson2025allerton,
  title = {Is Neural Network Verification Useful and What Is Next?},
  author = {Taylor T. Johnson},
  year = {2025},
  month = sep,
  booktitle = {61st Allerton Conference on Communication, Control, and Computing},
  url = {https://hdl.handle.net/2142/130315},
  publabel = {LC10},
  pubtype = {LC},
  pdf = "research/johnson2025allerton.pdf",
}