Vincent Tjeng

Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability pdf

Aleksander Madry, Kai Y. Xiao, Vincent Tjeng, 2018, ICLR.

Evaluating Robustness of Neural Networks with Mixed Integer Programming

Russ Tedrake, Kai Y. Xiao, Vincent Tjeng, 2017, ICLR.

Verifying Neural Networks with Mixed Integer Programming pdf

Russ Tedrake, Vincent Tjeng, Russ Tedrake, 2017, ArXiv.