Login / Signup
Vincent Tjeng
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 5
Top Topics
Mixed Integer Programming
Dantzig Wolfe Decomposition
Neural Network
Stability Analysis
Top Venues
CoRR
ICLR (Poster)
</>
Publications
</>
Daniel Golovin
,
Gábor Bartók
,
Eric Chen
,
Emily Donahue
,
Tzu-Kuo Huang
,
Efi Kokiopoulou
,
Ruoyan Qin
,
Nikhil Sarda
,
Justin Sybrandt
,
Vincent Tjeng
SmartChoices: Augmenting Software with Learned Implementations.
CoRR
(2023)
Kai Yuanqing Xiao
,
Vincent Tjeng
,
Nur Muhammad (Mahi) Shafiullah
,
Aleksander Madry
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability.
ICLR (Poster)
(2019)
Vincent Tjeng
,
Kai Yuanqing Xiao
,
Russ Tedrake
Evaluating Robustness of Neural Networks with Mixed Integer Programming.
ICLR (Poster)
(2019)
Kai Yuanqing Xiao
,
Vincent Tjeng
,
Nur Muhammad (Mahi) Shafiullah
,
Aleksander Madry
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability.
CoRR
(2018)
Vincent Tjeng
,
Russ Tedrake
Verifying Neural Networks with Mixed Integer Programming.
CoRR
(2017)