Picture for Changshun Wu

Changshun Wu

Safeguarding Large Language Models: A Survey

Add code
Jun 03, 2024
Viaarxiv icon

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs

Add code
Apr 26, 2024
Viaarxiv icon

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

Add code
Mar 27, 2024
Viaarxiv icon

A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle

Add code
Feb 14, 2024
Viaarxiv icon

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

Add code
Jul 20, 2023
Viaarxiv icon

Towards Rigorous Design of OoD Detectors

Add code
Jun 14, 2023
Viaarxiv icon

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

Add code
May 19, 2023
Viaarxiv icon

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation

Add code
May 16, 2022
Figure 1 for Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Figure 2 for Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Figure 3 for Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Figure 4 for Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Viaarxiv icon

Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes

Add code
Apr 25, 2021
Figure 1 for Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
Figure 2 for Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
Figure 3 for Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
Figure 4 for Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
Viaarxiv icon