Ensuring Functional Correctness of Large Code Models with Selective Generation


Retrieval-Augmented Generation with Estimation of Source Reliability


ChronoBias: A Benchmark for Evaluating Time-conditional Group Bias in the Time-sensitive Knowledge of Large Language Models


Holistic Unlearning Benchmark: A Multi-Faceted Evaluation for Text-to-Image Diffusion Model Unlearning


ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System


Online Selective Generation with Adversarial Bandit Feedback


SOUNDBOOST: Effective RCA and Attack Detection for UAV via Acoustic Side-Channel


Selective Generation for Controllable Language Models


TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction


MedBN: Robust Test Time Adaptation against Malicious Test Samples


PAC Prediction Sets Under Label Shift


Angelic Patches for Improving Third-Party Object Detector Performance


ACon$^2$: Adaptive Conformal Consensus for Provable Blockchain Oracles


CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems


PAC Prediction Sets for Meta-Learning


Sequential Covariate Shift Detection Using Classifier Two-Sample Tests


PAC Prediction Sets Under Covariate Shift


Towards PAC Multi-Object Detection and Tracking


PAC Confidence Predictions for Deep Neural Network Classifiers


iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection


Calibrated prediction with covariate shift via unsupervised domain adaptation


PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction


Resilient linear classification: an approach to deal with attacks on training data


Integrated intelligence for human-robot teams


Abnormal object detection by canonical scene-based contextual model