huanzhang12 Goto Github PK

adversarial_survey

Robustness vs Accuracy Survey on ImageNet

alpha-beta-crown_vnncomp22

Repo for VNN-COMP submission only. For other purposes please use the latest verifier at https://abcrown.org

atla_robust_rl

Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework

certifiedrelurobustness

Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://github.com/Verified-Intelligence/auto_LiRPA instead)

clever

CLEVER (Cross-Lipschitz Extreme Value for nEtwork Robustness) is a robustness metric for deep neural networks

compute

A C++ GPU Computing Library for OpenCL

crown-ibp

Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).

crown-robustness-certification

CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://github.com/Verified-Intelligence/auto_LiRPA instead)

decentralized-training

decentralized_sgd

ece584-sp24-assignment2

gcp-crown

The official repo for GCP-CROWN paper

gunrock-io

hogwildpp

HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent

hotspot-gpu

GPU accelerated version of the HotSpot simulator, a popular temperature modeling tool

imagecaptioningattack

Show-and-Fool: Adversarial Examples for Image Captioning task

libgpuarray

Library to manipulate tensors on the GPU.

lightgbm

LightGBM GPU staging/merging tree

lightgbm-gpu

Development Repository for GPU-accelerated GBDT training

mcpat

mpss-modules

Intel Xeon Phi MPSS Modules for Linux 4.2.0

passcode-fix

Fixing convergence problems in Parallel ASynchronous Stochastic dual Co-ordinate Descent (PASSCoDe)

recurjac-and-crown

Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) [Do not use this repo, use https://github.com/Verified-Intelligence/auto_LiRPA instead]

sa_ddpg

[NeurIPS 2020 Spotlight] State-adversarial DDPG for robust deep reinforcement learning

sa_ppo

[NeurIPS 2020 Spotlight] State-adversarial PPO for robust deep reinforcement learning

sampling_tensor_decomp

Fast Approximate Orthogonal Tensor Decomposition Based on Importance Sampling

showattendandtellmodel

tensorflow-alexnet-model

Pretrained TensorFlow protobuf for AlexNet model

tensorflow-densenet-models

Pretrained Frozen Densenet Protobuf for TensorFlow

theano

Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It can use GPUs and perform efficient symbolic differentiation.