Tjeng, Vincent

2 publications

ICLR 2019 Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng, Kai Y. Xiao, Russ Tedrake

ICLR 2019 Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao, Vincent Tjeng, Nur Muhammad Shafiullah, Aleksander Madry