testingautomated-usi / uncertainty-wizardLinks
Uncertainty-Wizard is a plugin on top of tensorflow.keras, allowing to easily and efficiently create uncertainty-aware deep neural networks. Also useful if you want to train multiple small models in parallel.
☆44Updated 2 years ago
Alternatives and similar repositories for uncertainty-wizard
Users that are interested in uncertainty-wizard are comparing it to the libraries listed below
Sorting:
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆50Updated 3 years ago
- ☆13Updated 3 years ago
- Tools and data of the paper "Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing"☆15Updated last year
- A collection of dnn test input prioritizers often used as benchmarks in recent literature.☆19Updated 3 years ago
- DeepCrime - Mutation Testing Tool for Deep Learning Systems☆16Updated 2 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆343Updated 3 years ago
- ☆25Updated 4 years ago
- ☆44Updated 5 years ago
- This repository contains the artifacts accompanied by the paper "Fair Preprocessing"☆13Updated 4 years ago
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Updated 4 years ago
- ☆10Updated 5 years ago
- Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks☆18Updated 5 years ago
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆221Updated last year
- [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…☆27Updated 6 years ago
- To Trust Or Not To Trust A Classifier. A measure of uncertainty for any trained (possibly black-box) classifier which is more effective t…☆178Updated 2 years ago
- [ICML 2019, 20 min long talk] Robust Decision Trees Against Adversarial Examples☆69Updated 7 months ago
- Code release for RobOT (ICSE'21)☆15Updated 3 years ago
- Concolic Testing for Deep Neural Networks☆119Updated 4 years ago
- Interfaces for defining Robust ML models and precisely specifying the threat models under which they claim to be secure.☆62Updated 6 years ago
- Taxonomy of Real Faults in Deep Learning Systems☆15Updated 6 years ago
- Official Repo for "Efficient task-specific data valuation for nearest neighbor algorithms"☆26Updated 5 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆39Updated 7 years ago
- Codes for reproducing the robustness evaluation scores in “Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approac…☆52Updated 7 years ago
- Utilities to perform Uncertainty Quantification on Keras Models☆119Updated last year
- Build and train Lipschitz constrained networks: TensorFlow implementation of k-Lipschitz layers☆102Updated 10 months ago
- A library for performing coverage guided fuzzing of neural networks☆214Updated 7 years ago
- Calibration library and code for the paper: Verified Uncertainty Calibration. Ananya Kumar, Percy Liang, Tengyu Ma. NeurIPS 2019 (Spotlig…☆153Updated 3 years ago
- Reward Guided Test Generation for Deep Learning☆21Updated last year
- ☆88Updated 7 months ago