v1v2 (latest)

PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier

18 June 2020

Papers citing "PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier"

3 / 3 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 160 37 0 29 Apr 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 82 74 0 14 Jan 2023
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 102 403 0 15 Mar 2019