Dengyu-Wu / snncutoff
SNN Cutoff Evaluation.
☆16Updated 7 months ago
Alternatives and similar repositories for snncutoff:
Users that are interested in snncutoff are comparing it to the libraries listed below
- ☆26Updated 2 years ago
- Benchmarks for the VNN Comp 2023☆16Updated 9 months ago
- LipSDP - Lipschitz Estimation for Neural Networks☆66Updated 3 years ago
- β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification☆29Updated 3 years ago
- auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs☆300Updated 2 weeks ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆26Updated 5 years ago
- Adversarial attacks on Deep Reinforcement Learning (RL)☆87Updated 4 years ago
- Replication Package for "Mind Your Data! Hiding Backdoors in Offline Reinforcement Learning Datasets", IEEE S&P 2024.☆28Updated 3 months ago
- ☆15Updated 4 years ago
- Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework☆63Updated 4 years ago
- This repository contains the official code for our NeurIPS 2021 publication "Robust Deep Reinforcement Learning through Adversarial Loss…☆29Updated 3 years ago
- DRL with population coded spiking neural network for optimal and energy-efficient continuous control.☆54Updated 3 years ago
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)☆276Updated 2 months ago
- [NeurIPS 2020, Spotlight] State-Adversarial DQN (SA-DQN) for robust deep reinforcement learning☆33Updated 4 years ago
- Erasing data from machine learning models! ✏️☆12Updated 4 years ago
- Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…☆92Updated 3 years ago
- [NeurIPS 2020, Spotlight] Code for "Robust Deep Reinforcement Learning against Adversarial Perturbations on Observations"☆127Updated 3 years ago
- ☆16Updated 2 years ago
- Search-based Testing Approach of Reinforcement Learning Agent☆11Updated 4 months ago
- Open source implementation of the TrojDRL algorithm presented in TrojDRL: Evaluation of backdoor attacks on Deep Reinforcement Learning☆18Updated 4 years ago
- ☆11Updated 2 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆38Updated 6 years ago
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆88Updated 2 years ago
- A new model-based algorithm for offline inverse reinforcement learning☆14Updated 2 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 6 months ago
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆16Updated 6 years ago
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆24Updated last year
- This repo is the official implementation of the ICLR'23 paper "Towards Robustness Certification Against Universal Perturbations." We calc…☆12Updated 2 years ago
- ☆10Updated 2 years ago
- Creating and defending against adversarial examples☆42Updated 6 years ago