The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results (bibtex)

by Christopher Brix, Stanley Bak, Changliu Liu and Taylor T. Johnson

Reference:

Christopher Brix, Stanley Bak, Changliu Liu and Taylor T. Johnson, "The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results", 2023.

Bibtex Entry:

@inproceedings{brix2023vnncomp,
  title = {The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results},
  author = {Christopher Brix and Stanley Bak and Changliu Liu and Taylor T. Johnson},
  year = {2023},
  publabel = {R12},
  pubtype = {R},
  pdf = "research/brix2023vnncomp.pdf",
}