Kaidi Xu's repositories
GCN_ADV_Train
Adversarial training for Graph Neural Networks
Beta-CROWN
β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
LiRPA_Verify
Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
Adversarial_Survey
Robustness vs Accuracy Survey on ImageNet
ATLA_robust_RL
Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework
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
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
robust-physical-attack
Physical adversarial attack for fooling the Faster R-CNN object detector
simple_adversarial_generator
Simple adversarial input generator for VNN-COMP
vnncomp2021
VNN Neural Network Verification Competition 2021