18 citations · 68 across the 14 of their papers we have counts for
14 papers
Selective Generation for Controllable Language Models
Minjae Lee, Kyungmin Kim, Taesoo Kim +1
Trustworthiness of generative language models (GLMs) is crucial in their deployment to critical decision making systems. Hence, certified risk control methods such as selective pre…
TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction
Shuo Li, Sangdon Park, Insup Lee +1
When applied to open-domain question answering, large language models (LLMs) frequently generate incorrect responses based on made-up facts, which are called $\textit{hallucination…
ACon: Adaptive Conformal Consensus for Provable Blockchain Oracles
Sangdon Park, Osbert Bastani, Taesoo Kim
Blockchains with smart contracts are distributed ledger systems that achieve block-state consistency among distributed nodes by only allowing deterministic operations of smart cont…
Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning
Xiang Cheng, Sangdon Park, HyungSeok Han +2
Rust, as an emerging system programming language, introduces to allow developers to bypass safety checks during compilation. As a result, memory safety bugs are t…
PAC Prediction Sets for Meta-Learning
Sangdon Park, Edgar Dobriban, Insup Lee +1
Uncertainty quantification is a key component of machine learning models targeted at safety-critical systems such as in healthcare or autonomous vehicles. We study this problem in…
Towards PAC Multi-Object Detection and Tracking
Shuo Li, Sangdon Park, Xiayan Ji +2
Accurately detecting and tracking multi-objects is important for safety-critical applications such as autonomous navigation. However, it remains challenging to provide guarantees o…
iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection
Ramneet Kaur, Susmit Jha, Anirban Roy +4
Machine learning methods such as deep neural networks (DNNs), despite their success across different domains, are known to often generate incorrect predictions with high confidence…
Detecting OODs as datapoints with High Uncertainty
Ramneet Kaur, Susmit Jha, Anirban Roy +3
Deep neural networks (DNNs) are known to produce incorrect predictions with very high confidence on out-of-distribution inputs (OODs). This limitation is one of the key challenges…
PAC Prediction Sets Under Covariate Shift
Sangdon Park, Edgar Dobriban, Insup Lee +1
An important challenge facing modern machine learning is how to rigorously quantify the uncertainty of model predictions. Conveying uncertainty is especially important when there a…
PAC Confidence Predictions for Deep Neural Network Classifiers
Sangdon Park, Shuo Li, Insup Lee +1
A key challenge for deploying deep neural networks (DNNs) in safety critical settings is the need to provide rigorous ways to quantify their uncertainty. In this paper, we propose…
Joint Orthogonal Band and Power Allocation for Energy Fairness in WPT System with Nonlinear Logarithmic Energy Harvesting Model
Jaeseob Han, Gyeong Ho Lee, Sangdon Park +1
Wireless power transmission (WPT) is expected to play an important role in the Internet of Things services by providing the perpetual operation of IoT sensors. However, to prolong…
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation
Sangdon Park, Osbert Bastani, James Weimer +1
Reliable uncertainty estimates are an important tool for helping autonomous agents or human decision makers understand and leverage predictive models. However, existing approaches…
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction
Sangdon Park, Osbert Bastani, Nikolai Matni +1
We propose an algorithm combining calibrated prediction and generalization bounds from learning theory to construct confidence sets for deep neural networks with PAC guarantees---i…
Resilient Linear Classification: An Approach to Deal with Attacks on Training Data
Sangdon Park, James Weimer, Insup Lee
Data-driven techniques are used in cyber-physical systems (CPS) for controlling autonomous vehicles, handling demand responses for energy management, and modeling human physiology…