Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features (bibtex)

by Anne M. Tumlin, Ben Wooding, Zhenxuan Shao, Diego Manzanas Lopez, Tyler Derr and Taylor T. Johnson

Reference:

Anne M. Tumlin, Ben Wooding, Zhenxuan Shao, Diego Manzanas Lopez, Tyler Derr and Taylor T. Johnson, "Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features", In 3rd International Symposium on AI Verification (SAIV 2026), Springer, pp. 271–298, 2026.

Bibtex Entry:

@inproceedings{tumlin2026saiv,
  title = {Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features},
  author = {Anne M. Tumlin and Ben Wooding and Zhenxuan Shao and Diego Manzanas Lopez and Tyler Derr and Taylor T. Johnson},
  year = {2026},
  month = jul,
  booktitle = {3rd International Symposium on AI Verification (SAIV 2026)},
  pages = {271--298},
  publisher = {Springer},
  doi = {10.1007/978-3-032-32357-6_13},
  publabel = {C67},
  pubtype = {C},
  dblp = {conf/saiv/TumlinWSLDJ26},
  s2id = {290974965},
}