Search Results for author: Changshun Wu

Found 7 papers, 0 papers with code

BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection

no code implementations27 Mar 2024 Changshun Wu, WeiCheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem

Nevertheless, integrating OoD detection into state-of-the-art (SOTA) object detection DNNs poses significant challenges, partly due to the complexity introduced by the SOTA OoD construction methods, which require the modification of DNN architecture and the introduction of complex loss functions.

Object object-detection +2

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

no code implementations20 Jul 2023 Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao

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

Towards Rigorous Design of OoD Detectors

no code implementations14 Jun 2023 Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem

Out-of-distribution (OoD) detection techniques are instrumental for safety-related neural networks.

Out of Distribution (OOD) Detection

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

no code implementations19 May 2023 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, Andre Freitas, Mustafa A. Mustafa

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 knowledge domains.

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation

no code implementations16 May 2022 Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem

We consider the definition of "in-distribution" characterized in the feature space by a union of hyperrectangles learned from the training dataset.

Traffic Sign Recognition

Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes

no code implementations25 Apr 2021 Changshun Wu, Yliès Falcone, Saddek Bensalem

Classification neural networks fail to detect inputs that do not fall inside the classes they have been trained for.

Clustering

Cannot find the paper you are looking for? You can Submit a new open access paper.