​
Login / Signup
Min Wu
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 14
Top Topics
Text Classification
Back Propagation
Neural Network
Multilayer Perceptron
Top Venues
CoRR
CAV (1)
Comput. Sci. Rev.
ASE
</>
Publications
</>
Min Wu
,
Matthew Wicker
,
Wenjie Ruan
,
Xiaowei Huang
,
Marta Kwiatkowska
A game-based approximate verification of deep neural networks with provable guarantees.
Theor. Comput. Sci.
807 (2020)
Emanuele La Malfa
,
Min Wu
,
Luca Laurenti
,
Benjie Wang
,
Anthony Hartshorn
,
Marta Kwiatkowska
Assessing Robustness of Text Classification through Maximal Safe Radius Computation.
CoRR
(2020)
Xiaowei Huang
,
Daniel Kroening
,
Wenjie Ruan
,
James Sharp
,
Youcheng Sun
,
Emese Thamo
,
Min Wu
,
Xinping Yi
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.
Comput. Sci. Rev.
37 (2020)
Min Wu
,
Marta Kwiatkowska
Robustness Guarantees for Deep Neural Networks on Videos.
CVPR
(2020)
Emanuele La Malfa
,
Min Wu
,
Luca Laurenti
,
Benjie Wang
,
Anthony Hartshorn
,
Marta Kwiatkowska
Assessing Robustness of Text Classification through Maximal Safe Radius Computation.
EMNLP (Findings)
(2020)
Wenjie Ruan
,
Min Wu
,
Youcheng Sun
,
Xiaowei Huang
,
Daniel Kroening
,
Marta Kwiatkowska
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
IJCAI
(2019)
Min Wu
,
Tyron Louw
,
Morteza Lahijanian
,
Wenjie Ruan
,
Xiaowei Huang
,
Natasha Merat
,
Marta Kwiatkowska
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.
IROS
(2019)
Min Wu
,
Marta Kwiatkowska
Robustness Guarantees for Deep Neural Networks on Videos.
CoRR
(2019)
Youcheng Sun
,
Min Wu
,
Wenjie Ruan
,
Xiaowei Huang
,
Marta Kwiatkowska
,
Daniel Kroening
Concolic Testing for Deep Neural Networks.
CoRR
(2018)
Youcheng Sun
,
Min Wu
,
Wenjie Ruan
,
Xiaowei Huang
,
Marta Kwiatkowska
,
Daniel Kroening
Concolic testing for deep neural networks.
ASE
(2018)
Wenjie Ruan
,
Min Wu
,
Youcheng Sun
,
Xiaowei Huang
,
Daniel Kroening
,
Marta Kwiatkowska
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.
CoRR
(2018)
Min Wu
,
Matthew Wicker
,
Wenjie Ruan
,
Xiaowei Huang
,
Marta Kwiatkowska
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees.
CoRR
(2018)
Xiaowei Huang
,
Marta Kwiatkowska
,
Sen Wang
,
Min Wu
Safety Verification of Deep Neural Networks.
CAV (1)
(2017)
Xiaowei Huang
,
Marta Kwiatkowska
,
Sen Wang
,
Min Wu
Safety Verification of Deep Neural Networks.
CoRR
(2016)