☆44Aug 25, 2017Updated 8 years ago
Alternatives and similar repositories for deepTest
Users that are interested in deepTest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆81Feb 12, 2019Updated 7 years ago
- DeepXplore code release☆395Mar 17, 2022Updated 4 years ago
- code repository for Deep learning for NLP using Python (v), Published by Packt☆11Jan 15, 2021Updated 5 years ago
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 9 years ago
- The released code of Neurify in NIPS 2018☆51Dec 8, 2022Updated 3 years ago
- Code for "On the Trade-off between Adversarial and Backdoor Robustness" (NIPS 2020)☆17Nov 11, 2020Updated 5 years ago
- 関数型プログラミングに関する論文の非公式日本語訳☆25Mar 5, 2015Updated 11 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- Official Khronos OpenVX Implementation☆14Jan 5, 2015Updated 11 years ago
- Python library for the Radar API https://radar.io/documentation/api☆12Mar 23, 2020Updated 6 years ago
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- Αποθετήριο καταγραφής και παρουσίασης έργων ανοιχτής σχεδίασης για νοσοκομειακό εξοπλισμό☆14Jun 4, 2021Updated 4 years ago
- The library for symbolic interval☆22Jun 23, 2020Updated 5 years ago
- Mozilla's Community Support Software☆19Mar 29, 2021Updated 4 years ago
- Goal of project was to detect vehicles and pedestrians using Lidar points in real time.☆13Jul 6, 2017Updated 8 years ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation [NeurIPS 2017]☆18Apr 8, 2018Updated 7 years ago
- ☆11Dec 31, 2019Updated 6 years ago
- 卡尔曼滤波python3代码☆16Jan 17, 2018Updated 8 years ago
- Machine Learning course at dsai.asia☆16Aug 17, 2022Updated 3 years ago
- A set of advanced image editing tools.☆12Jun 21, 2016Updated 9 years ago
- VGG feature visualizer in TensorFlow☆10Nov 29, 2015Updated 10 years ago
- Tool for detecting error handling bugs☆23Sep 11, 2016Updated 9 years ago
- a collection of various algorithms written using recursion schemes☆24Jan 2, 2022Updated 4 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Oct 25, 2014Updated 11 years ago
- Superpixel-based semantic segmentation, with object pose estimation and tracking. Provided as a ROS package.☆36Aug 25, 2017Updated 8 years ago
- Keras implementation of: Fitted Learning: Models with Awareness of their Limits☆13Mar 23, 2017Updated 9 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- Dionis predictors blender☆10Oct 21, 2015Updated 10 years ago
- β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification☆31Nov 9, 2021Updated 4 years ago
- an efficient method for detecting adversarial image examples☆17Jun 3, 2018Updated 7 years ago
- Code database for Fast Texform generation as proposed in the work of Deza, Chen, Long and Konkle (CCN 2019).☆12Jul 26, 2019Updated 6 years ago
- Python package for inference with Gaussian processes☆11Mar 25, 2015Updated 10 years ago
- Convolutional Neural Network for German Traffic Sign Recognition Benchmark☆128Jun 19, 2022Updated 3 years ago
- Clean Burning Fuel☆28Mar 6, 2018Updated 8 years ago
- A training code for data fusion. States (world frame): position, orientation(Euler angles, ZXY), velocity, gyroscope bais, acceleration …☆22Jan 24, 2017Updated 9 years ago
- Using Keras (U-Net architecture) to segment shapes on noise.☆18Jun 5, 2017Updated 8 years ago
- Blender environment to create synthetic data for deep learning purpose☆13Mar 21, 2019Updated 7 years ago