@misc{indiciae737a291b6a3e,
  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},
  url = {https://arxiv.org/abs/2609.30050},
  note = {Source identifier: 2609.30050}
}