kaidixu Goto Github PK

adversarial_survey

Robustness vs Accuracy Survey on ImageNet

atla_robust_rl

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

beta-crown

β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification

crown-ibp

Certified defense to adversarial examples using CROWN and Interval Bound Propagation (IBP)

csrankings

A web app for ranking computer science departments according to their research output in selective venues.

deface

Video anonymization by face detection

draw-io-neural

neural network template draw.io

gcn_adv_train

Adversarial training for Graph Neural Networks

gradcamplusplus

keras implementation of gradcam_plus_plus

health_fairness

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)

interval-bound-propagation

This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715

lirpa_verify

Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"

onnx2pytorch

robust-physical-attack

Physical adversarial attack for fooling the Faster R-CNN object detector

simple_adversarial_generator

Simple adversarial input generator for VNN-COMP

strattack

StrAttack, ICLR 2019

vnncomp2021

VNN Neural Network Verification Competition 2021

vnncomp2021_results

zo-adamm

Code for paper 'ZO-AdaMM: Zeroth-Order Adaptive MomentumMethod for Black-Box Optimization'

zo-minmax

Zeroth-order Min-max Optimization