VNN-COMP

BibTeX Copy All

@article{brix2023vnncomp_overview,
  title={First three years of the international verification of neural networks competition ({VNN-COMP})},
  author={Brix, Christopher and Bak, Stanley and Liu, Changliu and Johnson, Taylor T.},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={25},
  pages={329--339},
  year={2023},
  publisher={Springer},
  doi={10.1007/s10009-023-00703-4}
}

@article{kaulen2025vnncomp2025,
  title={The Sixth International Verification of Neural Networks Competition ({VNN-COMP} 2025): Summary and Results},
  author={Kaulen, Konstantin and Ladner, Tobias and Bak, Stanley and Brix, Christopher and Duong, Hai and Flinkow, Thomas and Johnson, Taylor T. and Koller, Lukas and Manino, Edoardo and Nguyen, ThanhVu H. and Wu, Haoze},
  journal={arXiv preprint arXiv:2512.19007},
  year={2025}
}

@article{brix2024vnncomp2024,
  title={The Fifth International Verification of Neural Networks Competition ({VNN-COMP} 2024): Summary and Results},
  author={Brix, Christopher and Bak, Stanley and Johnson, Taylor T. and Wu, Haoze},
  journal={arXiv preprint arXiv:2412.19985},
  year={2024}
}

@article{brix2023vnncomp2023,
  title={The Fourth International Verification of Neural Networks Competition ({VNN-COMP} 2023): Summary and Results},
  author={Brix, Christopher and Bak, Stanley and Liu, Changliu and Johnson, Taylor T.},
  journal={arXiv preprint arXiv:2312.16760},
  year={2023}
}

@article{mueller2022vnncomp2022,
  title={The Third International Verification of Neural Networks Competition ({VNN-COMP} 2022): Summary and Results},
  author={M{\"u}ller, Mark Niklas and Brix, Christopher and Bak, Stanley and Liu, Changliu and Johnson, Taylor T.},
  journal={arXiv preprint arXiv:2212.10376},
  year={2022}
}

@article{bak2021vnncomp2021,
  title={The Second International Verification of Neural Networks Competition ({VNN-COMP} 2021): Summary and Results},
  author={Bak, Stanley and Liu, Changliu and Johnson, Taylor T.},
  journal={arXiv preprint arXiv:2109.00498},
  year={2021}
}