Popular repositories

1. SilentBugsInTensorFlowKeras SilentBugsInTensorFlowKeras Public

   The replication package of the paper "Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and Tensorflow".

   Roff 1

2. drlinter drlinter Public

   Forked from drlinter/drlinter

   Bug detection of deep reinforcement learning programs

   Python

3. On-Assessing-The-Safety-of-Reinforcement-Learning-algorithms-Using-Formal-Methods On-Assessing-The-Safety-of-Reinforcement-Learning-algorithms-Using-Formal-Methods Public

   Forked from movingadv/On-Assessing-The-Safety-of-Reinforcement-Learning-algorithms-Using-Formal-Methods

   Python

4. DeepLocalize DeepLocalize Public

   Forked from Wardat-ISU/DeepLocalize

   DeepLocalize: Fault Localization for Deep NeuralNetworks

   Python

5. ICSE2022-SilentBugs ICSE2022-SilentBugs Public

   Replication package for ICSE2022 submission on silent bugs in Keras/TensorFlow

6. amin-nikanjam.github.io amin-nikanjam.github.io Public

   Forked from academicpages/academicpages.github.io

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript