Wei Huang

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Pseudo Feedback

Formal Verification

State Estimation

Top Venues

Artif. Intell. Rev.

Publications

Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 57 (7) (2024)
Kaikang Zhao, Xi Chen, Wei Huang, Liuxin Ding, Xianglong Kong, Fan Zhang
Ensemble Adversarial Defense via Integration of Multiple Dispersed Low Curvature Models. CoRR (2024)
Wei Huang, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang, Xiaowei Huang
Formal verification of robustness and resilience of learning-enabled state estimation systems. Neurocomputing 585 (2024)
Xi Chen, Wei Huang, Ziwen Peng, Wei Guo, Fan Zhang
Diversity supporting robustness: Enhancing adversarial robustness via differentiated ensemble predictions. Comput. Secur. 142 (2024)