Följ
Vincent Tjeng
Vincent Tjeng
Google DeepMind
Verifierad e-postadress på google.com - Startsida
Titel
Citeras av
Citeras av
År
Evaluating Robustness of Neural Networks with Mixed Integer Programming
V Tjeng, K Xiao, R Tedrake
arXiv preprint arXiv:1711.07356, 2017
9482017
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
KY Xiao, V Tjeng, NM Shafiullah, A Madry
arXiv preprint arXiv:1809.03008, 2018
2162018
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3