Learning Reach-Set Geometry for Tighter Probabilistic Neural Network Verification (bibtex)

by Samuel Sasaki, Ben Wooding and Taylor T. Johnson

Reference:

Samuel Sasaki, Ben Wooding and Taylor T. Johnson, "Learning Reach-Set Geometry for Tighter Probabilistic Neural Network Verification", In 40th Annual Conference on Neural Information Processing Systems (NeurIPS'26) (to appear), 2026.

Bibtex Entry:

@inproceedings{sasaki2026neurips,
  title = {Learning Reach-Set Geometry for Tighter Probabilistic Neural Network Verification},
  author = {Samuel Sasaki and Ben Wooding and Taylor T. Johnson},
  year = {2026},
  month = dec,
  booktitle = {40th Annual Conference on Neural Information Processing Systems (NeurIPS'26) (to appear)},
  url = {https://neurips.cc/virtual/2026/loc/sydney/poster/154618},
  publabel = {C76},
  pubtype = {C},
}