VNN-COMP

Taylor T. Johnson, Lukas Koller, Tobias Ladner, Benedikt Kellner, Matthias Althoff, Linhan Li, ThanhVu Nguyen, Lukas Rohwer, Samuel Teuber, Matthew L. Daggitt, Samuel Sasaki, Ben Wooding, Hanchen David Wang, Anne M. Tumlin, Meiyi Ma

Papers

• CORA: Verifying Neural Networks in a Shared Latent Space
  Authors: Lukas Koller, Tobias Ladner, Benedikt Kellner, Matthias Althoff

• ReluSplitter: A Synthetic DNN Verification Benchmark with Controlled Neuron Stability
  Authors: Linhan Li, ThanhVu Nguyen

• VNN-LIB 2.0 in Practice: Benchmarks for More Complex Neural Network Verification Tasks
  Authors: Lukas Rohwer, Samuel Teuber, Matthew L. Daggitt

• n2v: Neural Network Verification in Python
  Authors: Samuel Sasaki, Ben Wooding, Hanchen David Wang, Anne M. Tumlin, Meiyi Ma, Taylor T. Johnson

More Information:

 Overview  Program