Follow
Vincent Tjeng
Vincent Tjeng
Google DeepMind
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Evaluating Robustness of Neural Networks with Mixed Integer Programming
V Tjeng, K Xiao, R Tedrake
arXiv preprint arXiv:1711.07356, 2017
9422017
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
KY Xiao, V Tjeng, NM Shafiullah, A Madry
arXiv preprint arXiv:1809.03008, 2018
2142018
SmartChoices: Augmenting Software with Learned Implementations
D Golovin, G Bartók, E Chen, E Donahue, TK Huang, E Kokiopoulou, ...
arXiv preprint arXiv:2304.13033, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–3