NNV3: Expanding Neural Network Verification to New Architectures and Domains (bibtex)

by Anne M. Tumlin, Samuel Sasaki, Ben Wooding, Diego Manzanas Lopez, Muhammad Usama Zubair, Navid Hashemi, Hongchao Zhang, Waseem Abbas, Ipek Oguz, Meiyi Ma and Taylor T. Johnson

Reference:

Anne M. Tumlin, Samuel Sasaki, Ben Wooding, Diego Manzanas Lopez, Muhammad Usama Zubair, Navid Hashemi, Hongchao Zhang, Waseem Abbas, Ipek Oguz, Meiyi Ma and Taylor T. Johnson, "NNV3: Expanding Neural Network Verification to New Architectures and Domains", In 24th International Symposium on Automated Technology for Verification and Analysis (ATVA 2026), Hong Kong, Springer, 2026.

Bibtex Entry:

@inproceedings{tumlin2026atva,
  title = {NNV3: Expanding Neural Network Verification to New Architectures and Domains},
  author = {Anne M. Tumlin and Samuel Sasaki and Ben Wooding and Diego Manzanas Lopez and Muhammad Usama Zubair and Navid Hashemi and Hongchao Zhang and Waseem Abbas and Ipek Oguz and Meiyi Ma and Taylor T. Johnson},
  year = {2026},
  month = dec,
  booktitle = {24th International Symposium on Automated Technology for Verification and Analysis (ATVA 2026), Hong Kong},
  publisher = {Springer},
  publabel = {C71},
  pubtype = {C},
}