Vision based algorithms for falsification of convolutional neural networks
☆12Jan 25, 2018Updated 8 years ago
Alternatives and similar repositories for SafeCV
Users that are interested in SafeCV are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Testing Deep Neural Networks☆15Jul 4, 2018Updated 8 years ago
- ☆18Mar 26, 2019Updated 7 years ago
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- Repository containing code for getting statistical guarantees on properties of BNNs☆13Apr 24, 2019Updated 7 years ago
- ☆26Feb 15, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Optimizers for performing approximate Bayesian inference on neural network parameters with Tensorflow and JAX☆13Feb 17, 2024Updated 2 years ago
- ☆26May 27, 2020Updated 6 years ago
- Code Repository to check robustness of 3D Deep Learning (Volumetric and PointNet) to occlusion attacks☆15Apr 2, 2019Updated 7 years ago
- An attempted speaker recognition☆15Aug 22, 2016Updated 10 years ago
- With Viola age classification library, you can find age range of a give face bitmap image.☆22Aug 26, 2022Updated 4 years ago
- this repository is multi-labels classification which based on googLeNet model with caffe☆11Jul 23, 2017Updated 9 years ago
- 使用AIDL进行跨进程通信☆11Feb 18, 2017Updated 9 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆21Dec 16, 2020Updated 5 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness'.☆11Sep 4, 2021Updated 5 years ago
- 百度AI安全对抗赛第一名团队示例代码，基于官方给出的PGD修改，主要内容为L2-PGD+EOT。☆11Mar 17, 2021Updated 5 years ago
- Self driving car keras dave 2 CNN☆10Jun 23, 2026Updated 4 months ago
- DeepXplore code release☆393Mar 17, 2022Updated 4 years ago
- The released code of Neurify in NIPS 2018☆50Dec 8, 2022Updated 3 years ago
- Code corresponding to the paper "Adversarial Examples are not Easily Detected..."☆89Nov 1, 2017Updated 9 years ago
- The released code of ReluVal in USENIX Security 2018☆60Mar 4, 2020Updated 6 years ago
- My personal blog☆14Oct 14, 2026Updated 2 weeks ago
- Java memoization library☆21Jun 21, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Machine Learning course at dsai.asia☆17Aug 17, 2022Updated 4 years ago
- ☆16Dec 12, 2014Updated 11 years ago
- A super lightweight Lagrangian model for calculating millions of WRF trajectories.☆19Nov 22, 2020Updated 5 years ago
- Mozilla's Community Support Software☆19Mar 29, 2021Updated 5 years ago
- Style Transfer based on Generative Adversarial Network☆15Sep 3, 2017Updated 9 years ago
- tuning hyperparams automatically with spearmint☆15Jun 21, 2014Updated 12 years ago
- Playing around with various jailbreaking techniques ahead of the Gray Swan AI Ultimate Jailbreaking Competition☆19Oct 6, 2024Updated 2 years ago
- ☆22Jun 23, 2021Updated 5 years ago
- ☆44Aug 25, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Jul 20, 2019Updated 7 years ago
- Code for the Paper 'On the Connection Between Adversarial Robustness and Saliency Map Interpretability' by C. Etmann, S. Lunz, P. Maass, …☆16May 9, 2019Updated 7 years ago
- A set of advanced image editing tools.☆12Jun 21, 2016Updated 10 years ago
- OVAL framework for BaB-based Neural Network Verification☆18May 8, 2026Updated 5 months ago
- Mastering PyTorch for Deep Learning, Published by Packt☆14Jan 14, 2021Updated 5 years ago
- ☆17Aug 2, 2022Updated 4 years ago
- Ungrafting Malicious Code from Piggybacked Android Apps☆14Sep 27, 2016Updated 10 years ago