Hoang-Dung Tran
Artificial Intelligence · 2017
A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 8 citations into it; #25,616 of 35,345 by trust here, #25,809 by citations
Whom Hoang-Dung Tran trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Hoang-Dung Tran overall
Papers from Hoang-Dung Tran's perspective
Ordered by how strongly the researchers Hoang-Dung Tran trusts endorse each paper. Same corpus, a different order for every researcher.
- End to End Learning for Self-Driving Cars
- Safety Verification of Deep Neural Networks
- Mastering the game of Go with deep neural networks and tree search
- Multilayer feedforward networks are universal approximators
- Face recognition: a convolutional neural-network approach
- An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
- Safety Verification of Deep Neural Networks ∗
- Challenging SMT solvers to verify neural networks
- Neural networks for control systems - A survey
- A Combined Adaptive Neural Network and Nonlinear Model Predictive Control for Multirate Networked Industrial Process Control (IEEE Transactions on Neural Networks and Learning Systems)
Their papers
- Output Reachable Set Estimation and Verification for Multilayer Neural Networks (2017) — 306 citations