Prioritizing Corners in OoD Detectors via Symbolic String Manipulation

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation

Automated Technology for Verification and Analysis (ATVA), 2022

16 May 2022

Chih-Hong Cheng

Emmanouil Seferis

Saddek Bensalem

ArXiv (abs)PDF HTML

Papers citing "Prioritizing Corners in OoD Detectors via Symbolic String Manipulation"

3 / 3 papers shown

Title
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection Changshun Wu Weicheng He Chih-Hong Cheng Xiaowei Huang Saddek Bensalem 175 5 0 27 Mar 2024
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 213 10 0 20 Jul 2023
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and ValidationArtificial Intelligence Review (AIR), 2023 Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 299 139 0 19 May 2023