n2v: Neural Network Verification in Python (Competition Contribution) (bibtex)

by Samuel Sasaki, Ben Wooding, Hanchen David Wang, Anne M. Tumlin, Meiyi Ma and Taylor T. Johnson

Reference:

Samuel Sasaki, Ben Wooding, Hanchen David Wang, Anne M. Tumlin, Meiyi Ma and Taylor T. Johnson, "n2v: Neural Network Verification in Python (Competition Contribution)", In 3rd International Symposium on AI Verification (SAIV 2026), Springer, 2026.

Bibtex Entry:

@inproceedings{sasaki2026saiv,
  title = {n2v: Neural Network Verification in Python (Competition Contribution)},
  author = {Samuel Sasaki and Ben Wooding and Hanchen David Wang and Anne M. Tumlin and Meiyi Ma and Taylor T. Johnson},
  year = {2026},
  month = jul,
  booktitle = {3rd International Symposium on AI Verification (SAIV 2026)},
  publisher = {Springer},
  publabel = {C70},
  pubtype = {C},
  pdf = "research/sasaki2026saiv.pdf",
}