Popular repositories Loading

1. DeepConcolic DeepConcolic Public

   Concolic Testing for Deep Neural Networks

   Python 117 45

2. Literature-on-DNN-Verification-and-Testing Literature-on-DNN-Verification-and-Testing Public

   TeX 47 24

3. DeepGO DeepGO Public

   Reachability Analysis of Deep Neural Networks with Provable Guarantees

   MATLAB 35 5

4. DeepGame DeepGame Public

   A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

   Python 20 8

5. testRNN testRNN Public

   Forked from xiaoweih/testingRNN

   Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks

   Python 18 12

6. DeepCover DeepCover Public

   Testing Deep Neural Networks

   Python 15 3