Min Wu

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 14

Top Topics

Text Classification

Back Propagation

Multilayer Perceptron

Top Venues

Comput. Sci. Rev.

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)