Min Wu

According to our database, Min Wu authored at least 10 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Robustness evaluation of deep neural networks with provable guarantees.

Min Wu

PhD thesis, 2020

A game-based approximate verification of deep neural networks with provable guarantees.

Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska

Theor. Comput. Sci., 2020

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.

Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi

Comput. Sci. Rev., 2020

Assessing Robustness of Text Classification through Maximal Safe Radius Computation.

Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

Robustness Guarantees for Deep Neural Networks on Videos.

Min Wu, Marta Kwiatkowska

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.

Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.

Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.

Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

CoRR, 2018

Concolic testing for deep neural networks.

Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Safety Verification of Deep Neural Networks.

Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu

Proceedings of the Computer Aided Verification - 29th International Conference, 2017