关注
Vincent Tjeng
Vincent Tjeng
Google DeepMind
在 google.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–3