Popular repositories Loading

1. sherlock sherlock Public

   Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.

   C++ 26 12

2. Neural-Network-Controller-Verification-Benchmarks-HSCC-2019 Neural-Network-Controller-Verification-Benchmarks-HSCC-2019 Public

   This repository contains the benchmarks for neural network controller verification project using reach set computation.

   MATLAB 5 3

3. compiler_construction_fall_17 compiler_construction_fall_17 Public

   A poor man's version of a python to x86 compiler

   C 1

4. adhs_2018 adhs_2018 Public

   C++ 1

5. verification_guided_training verification_guided_training Public

   The code here implements verification guided training scheme for neural network plant models. The verification scheme uses SHERLOCK to implement range propagation idea, and Tensorflow to train the …

   C++ 1 1

6. sherlock_2 sherlock_2 Public

   C++ 1