Stanley Bak

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 …

A Comparison of Approaches for Solving Hard Graph-Theoretic Problems

2015 · arXiv (Cornell University)

In order to formulate mathematical conjectures likely to be true, a number of base cases must be determined. However, many combinatorial problems are NP-hard and the computational complexity makes this research approach difficult using a …

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 …