55 citations · 69 across the 15 of their papers we have counts for
16 papers
Uncertainty-Driven Expert Control: Enhancing the Reliability of Medical Vision-Language Models
Xiao Liang, Di Wang, Zhicheng Jiao +4
The rapid advancements in Vision Language Models (VLMs) have prompted the development of multi-modal medical assistant systems. Despite this progress, current models still have inh…
MST-Distill: Mixture of Specialized Teachers for Cross-Modal Knowledge Distillation
Hui Li, Pengfei Yang, Juanyang Chen +3
Knowledge distillation as an efficient knowledge transfer technique, has achieved remarkable success in unimodal scenarios. However, in cross-modal settings, conventional distillat…
Autonomous Collaborative Scheduling of Time-dependent UAVs, Workers and Vehicles for Crowdsensing in Disaster Response
Lei Han, Yitong Guo, Pengfei Yang +4
Natural disasters have caused significant losses to human society, and the timely and efficient acquisition of post-disaster environmental information is crucial for the effective…
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
Liang Zhang, Nathaniel Xu, Pengfei Yang +3
Robust pedestrian trajectory forecasting is crucial to developing safe autonomous vehicles. Although previous works have studied adversarial robustness in the context of trajectory…
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Pengfei Yang, Zhiming Chi, Zongxin Liu +4
Constraint solving is an elementary way for verification of deep neural networks (DNN). In the domain of AI safety, a DNN might be modified in its structure and parameters for its…
Safety Analysis of Autonomous Driving Systems Based on Model Learning
Renjue Li, Tianhang Qin, Pengfei Yang +3
We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the b…