Popular repositories Loading

1. DeepConcolic DeepConcolic Public

   Concolic Testing for Deep Neural Networks

   Python 120 45

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

   TeX 48 24

3. DeepGO DeepGO Public

   Reachability Analysis of Deep Neural Networks with Provable Guarantees

   MATLAB 37 5

4. DeepGame DeepGame Public

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

   Python 21 8

5. testRNN testRNN Public

   Forked from xiaoweih/testingRNN

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

   Python 19 12

6. DeepCover DeepCover Public

   Testing Deep Neural Networks

   Python 16 3