Concepedia

Vincent Tjeng

VT

Statistics

Publications

4

Citations

567

H-Index

4

Active since

2017

Affiliations

Massachusetts Institute of Technology(Current)

Vincent Tjeng is an author at Massachusetts Institute of Technology specializing in verification, adversarial machine learning, and deep learning.

Top concepts

EngineeringVerificationDeep LearningComputer ScienceMachine LearningAdversarial Machine LearningData ScienceFormal MethodsImage AnalysisMachine Vision

Publications per year

2017–2018

4

Publications

4

Evaluating Robustness of Neural Networks with Mixed Integer Programming

Vincent Tjeng, Kai Xiao, Russ Tedrake · arXiv (Cornell University) · 2017 · 337 citations · Full text

Verifying Neural Networks with Mixed Integer Programming

Vincent Tjeng, Russ Tedrake · arXiv (Cornell University) · 2017 · 105 citations · Full text

Convolutional Neural Network, Engineering, Machine Learning +21

Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability

Kai Xiao, Vincent Tjeng, Nur Muhammad Mahi Shafiullah et al. · arXiv (Cornell University) · 2018 · 64 citations · Full text

Artificial Intelligence, Inducing Relu Stability, Convolutional Neural Network +14

Training for faster adversarial robustness verification via inducing Relu stability

Kai Xiao, Vincent Tjeng, Nur Muhammad Mahi Shafiullah et al. · DSpace@MIT (Massachusetts Institute of Technology) · 2018 · 61 citations · Full text

1–4 of 4