PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Christopher Brix

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

    2023 · arXiv (Cornell University)

    This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools …