Vincent Tjeng

According to our database, Vincent Tjeng authored at least 4 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SmartChoices: Augmenting Software with Learned Implementations.

Daniel Golovin, Gábor Bartók, Eric Chen, Emily Donahue, Tzu-Kuo Huang, Efi Kokiopoulou, Ruoyan Qin, Nikhil Sarda, Justin Sybrandt, Vincent Tjeng

CoRR, 2023

2019

Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability.

Kai Yuanqing Xiao, Vincent Tjeng, Nur Muhammad (Mahi) Shafiullah, Aleksander Madry

Proceedings of the 7th International Conference on Learning Representations, 2019

Evaluating Robustness of Neural Networks with Mixed Integer Programming.

Vincent Tjeng, Kai Yuanqing Xiao, Russ Tedrake

Proceedings of the 7th International Conference on Learning Representations, 2019

2017

Verifying Neural Networks with Mixed Integer Programming.

Vincent Tjeng, Russ Tedrake

CoRR, 2017