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

Taylor T. Johnson

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. NNV: The Neural Network Verification Tool for Deep Neural Networks and\n Learning-Enabled Cyber-Physical Systems

    2020 · arXiv (Cornell University)

    This paper presents the Neural Network Verification (NNV) software tool, a\nset-based verification framework for deep neural networks (DNNs) and\nlearning-enabled cyber-physical systems (CPS). The crux of NNV is a collection\nof reachability algorithms that make use of …

  2. 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 …