xiaoweih / AISafetyLectureNotesLinks
Machine Learning Safety
☆44Updated this week
Alternatives and similar repositories for AISafetyLectureNotes
Users that are interested in AISafetyLectureNotes are comparing it to the libraries listed below
Sorting:
- Open source implementation of the TrojDRL algorithm presented in TrojDRL: Evaluation of backdoor attacks on Deep Reinforcement Learning☆21Updated 5 years ago
- Attack AlphaZero Go agents (NeurIPS 2022)☆22Updated 3 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
- [S&P 2024] Replication Package for "Mind Your Data! Hiding Backdoors in Offline Reinforcement Learning Datasets".☆32Updated last year
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆90Updated 2 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆39Updated 7 years ago
- Adversarial attacks on Deep Reinforcement Learning (RL)☆96Updated 4 years ago
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)☆344Updated 3 weeks ago
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆161Updated 6 years ago
- auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs☆338Updated this week
- [NeurIPS 2020, Spotlight] State-Adversarial DQN (SA-DQN) for robust deep reinforcement learning☆35Updated 4 years ago
- Official PyTorch implementation of "Query-Efficient and Scalable Black-Box Adversarial Attacks on Discrete Sequential Data via Bayesian O…☆25Updated 2 years ago
- Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…☆98Updated 4 years ago
- Code used in our paper "Robust Deep Reinforment Learning through Adversarial Loss"☆33Updated 2 years ago
- [NeurIPS 2020, Spotlight] Code for "Robust Deep Reinforcement Learning against Adversarial Perturbations on Observations"☆140Updated 4 years ago
- Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…☆30Updated 6 years ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Updated 4 years ago
- ☆27Updated 2 years ago
- Adversarial Examples: Attacks and Defenses for Deep Learning☆31Updated 7 years ago
- This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …☆98Updated 3 years ago
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆15Updated 3 years ago
- ☆47Updated 7 years ago
- β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification☆31Updated 4 years ago
- OVAL framework for BaB-based Neural Network Verification☆17Updated last month
- Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework☆67Updated 5 years ago
- ☆20Updated last year
- Implementation of A Context-Integrated Transformer-Based Neural Network for Auction Design (ICML2022).☆19Updated 3 years ago
- ☆26Updated 2 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆134Updated 2 years ago
- Deep-Learning-powered-Iterative-Combinatorial Auctions☆14Updated 2 years ago