The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results (bibtex)

by Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen and Haoze Wu

Reference:

Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen and Haoze Wu, "The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results", In 2nd International Symposium on AI Verification (SAIV 2025), 2025.

Bibtex Entry:

@inproceedings{kaulen2025vnncomp,
  title = {The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results},
  author = {Konstantin Kaulen and Tobias Ladner and Stanley Bak and Christopher Brix and Hai Duong and Thomas Flinkow and Taylor T. Johnson and Lukas Koller and Edoardo Manino and ThanhVu H. Nguyen and Haoze Wu},
  year = {2025},
  booktitle = {2nd International Symposium on AI Verification (SAIV 2025)},
  publabel = {W32},
  pubtype = {W},
  dblp = {journals/corr/abs-2512-19007},
}