TrustAI / testRNNLinks
Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks
☆18Updated 4 years ago
Alternatives and similar repositories for testRNN
Users that are interested in testRNN are comparing it to the libraries listed below
Sorting:
- [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…☆30Updated 3 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆38Updated 6 years ago
- ☆29Updated 2 years ago
- ☆11Updated 2 years ago
- Learning from what we know: How to perform vulnerability prediction using noisy historical data, Empirical Software Engineering (EMSE)☆14Updated last year
- Certifying Geometric Robustness of Neural Networks☆16Updated 2 years ago
- The Charon tool for analyzing neural network robustness☆14Updated 5 years ago
- Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…☆30Updated 5 years ago
- ☆11Updated 5 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 11 months ago
- Codes for reproducing the robustness evaluation scores in “Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approac…☆52Updated 6 years ago
- Code Snippet Recommendation from Stack Overflow Post☆18Updated 4 years ago
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Updated 3 years ago
- Machine Unlearning for Random Forests☆21Updated last year
- ☆20Updated last year
- A general method for training cost-sensitive robust classifier☆22Updated 6 years ago
- ☆10Updated 2 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Updated 6 years ago
- Code release for RobOT (ICSE'21)☆15Updated 2 years ago
- PyTorch code for KDD 18 paper: Towards Explanation of DNN-based Prediction with Guided Feature Inversion☆21Updated 6 years ago
- [AAAI 2021] - TreeCaps: Tree-based Capsule Network for Source Code Processing☆23Updated 2 years ago
- ☆22Updated 4 years ago
- Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]☆50Updated 5 years ago
- Explanation Optimization☆13Updated 4 years ago
- Bug Report driven Program Repair☆17Updated 5 years ago
- ☆16Updated 9 months ago
- Library for training globally-robust neural networks.☆28Updated last year
- Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021☆111Updated 2 years ago
- [TIFS'22]Smart App Attack: Hacking Deep Learning Models in Android Apps☆15Updated 3 years ago