activity
20212024
most citedReliability Assessment and Safety Arguments for Machine Learning Components in System Assurance

28 citations · 51 across the 7 of their papers we have counts for

collaborators

7 papers

cs.CR2024

Privacy-Preserving End-to-End Spoken Language Understanding

Yinggui Wang, Wei Huang, Le Yang

Spoken language understanding (SLU), one of the key enabling technologies for human-computer interaction in IoT devices, provides an easy-to-use user interface. Human speech can co…

cs.LG2023★ 1 cited

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems

Saddek Bensalem, Chih-Hong Cheng, Wei Huang +3

Machine learning has made remarkable advancements, but confidently utilising learning-enabled components in safety-critical domains still poses challenges. Among the challenges, it…

cs.AI2023★ 17 cited

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation

Xiaowei Huang, Wenjie Ruan, Wei Huang +14

Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many…

cs.LG2022★ 4 cited

SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability

Wei Huang, Xingyu Zhao, Gaojie Jin +1

Interpretability of Deep Learning (DL) is a barrier to trustworthy AI. Despite great efforts made by the Explainable AI (XAI) community, explanations lack robustness -- indistingui…

cs.SE2022

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems

Yi Qi, Philippa Ryan Conmy, Wei Huang +2

Hazard and Operability Analysis (HAZOP) is a powerful safety analysis technique with a long history in industrial process control domain. With the increasing use of Machine Learnin…

cs.SE2022★ 1 cited

Hierarchical Distribution-Aware Testing of Deep Learning

Wei Huang, Xingyu Zhao, Alec Banks +2

Deep Learning (DL) is increasingly used in safety-critical applications, raising concerns about its reliability. DL suffers from a well-known problem of lacking robustness, especia…

cs.SE2021★ 28 cited

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance

Yi Dong, Wei Huang, Vibhav Bharti +6

The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure th…