Sotabase

Career

· Software Engineer, Google DeepMind2021–
· Senior Software Engineer, Cruise Automation2020–2021
· Software Engineer, Cruise Automation2018–2019
· Software Engineer Intern, Palantir Technologies2017–2017
· Research Assistant, Robot Locomotion Group, MIT2017–2018
· Software Engineer Intern, Benchling2016–2016
· Software Engineer Intern, Jane Street2015–2015
· Undergraduate Student Researcher, Robot Locomotion Group, MIT2015–2017
· Research Assistant, MIT Sloan Sch

Publications (10)

Evaluating Robustness of Neural Networks with Mixed Integer Programming
International Conference on Learning Representations · 2017
917
cited
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
International Conference on Learning Representations · 2018
209
cited
Verifying Neural Networks with Mixed Integer Programming
arXiv.org · 2017
119
cited
SmartChoices: Augmenting Software with Learned Implementations
arXiv.org · 2023
2
cited
The microjet-film interaction: the interaction and resulting shapes of a liquid microjet impacting a soap film
2014
1
cited
Relaxations for Combinatorial Relaxation
2016
Sotabase
Vincent Tjeng | Researcher Profile | Sotabase | Sotabase