Kaidi Xu

icon indicating a website link https://kaidixu.com/

icon company Drexel University icon location Philadelphia icon location Assistant Professor of CS @ Drexel University. Previously Ph.D. @ Northeastern University.

Results 5 repositories owned by Kaidi Xu

Beta-CROWN

29
Stars
6
Forks
Watchers

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

verified publisher icon KaidiXu

GCN_ADV_Train

54
Stars
11
Forks
Watchers

Adversarial training for Graph Neural Networks

verified publisher icon KaidiXu

StrAttack

32
Stars
7
Forks
Watchers

StrAttack, ICLR 2019

verified publisher icon KaidiXu

LiRPA_Verify

15
Stars
4
Forks
Watchers

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

verified publisher icon KaidiXu

ZO-AdaMM

26
Stars
9
Forks
Watchers

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

verified publisher icon KaidiXu