TY - RPRT TI - A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation AU - Xiaowei Huang AU - Wenjie Ruan AU - Wei Huang AU - Gaojie Jin AU - Yi Dong AU - Changshun Wu AU - Saddek Bensalem AU - Ronghui Mu AU - Yi Qi AU - Xingyu Zhao AU - Kaiwen Cai AU - Yanghao Zhang AU - Sihao Wu AU - Peipei Xu AU - Dengyu Wu AU - Andre Freitas AU - Mustafa A. Mustafa PY - 2023 UR - https://arxiv.org/abs/2305.11391 ID - 2305.11391 ER -