Insup Lee

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 58

Top Topics

Reinforcement Learning

Question Answering

Top Venues

Publications

Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI (2024)
Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
Memory-Consistent Neural Networks for Imitation Learning. ICLR (2024)
Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban
Uncertainty in Language Models: Assessment through Rank-Calibration. CoRR (2024)
Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. 56 (8) (2024)
Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CoRR (2024)
Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Insup Lee, Weisong Shi, Zhe He, Ye Sun
Preface; CHASE 2024. CHASE (2024)
Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee
A Novel Bayes' Theorem for Upper Probabilities. Epi UAI (2024)
Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
PAC Prediction Sets Under Label Shift. ICLR (2024)
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion (2024)
Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts (2024)
Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works. CoRR (2024)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS (2024)
Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS (2024)
Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
DC4L: Distribution shift recovery via data-driven control for deep learning models. L4DC (2024)
Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CHASE (2024)
Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. NAACL-HLT (2024)
Jianyi Zhang, Yuchen Wang, Yazhou Tu, Sara Rampazzi, Zhiqiang Lin, Insup Lee, Xiali Hei
ADC-Bank: Detecting Acoustic Out-of-Band Signal Injection on Inertial Sensors. SmartSP (2023)
Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee
A Novel Bayes' Theorem for Upper Probabilities. CoRR (2023)
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS (2023)
Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE (2023)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR (2023)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA (2023)
Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee
Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC (2023)
Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
TRAC: Trustworthy Retrieval Augmented Chatbot. CoRR (2023)
Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris
Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH (2023)
Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC (2023)
Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR (2023)
Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
PAC Prediction Sets Under Label Shift. CoRR (2023)
Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. ICCPS (2023)
Yahan Yang, Elior Sulem, Insup Lee, Dan Roth
Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy. EMNLP (2023)
Yahan Yang, Soham Dan, Dan Roth, Insup Lee
In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. ACL (2) (2023)
Yahan Yang, Soham Dan, Dan Roth, Insup Lee
Understanding Calibration for Multilingual Question Answering Models. CoRR (2023)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR (2023)
Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee
Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR (2023)
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
Imprecise Bayesian Neural Networks. CoRR (2023)
Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM (2023)
Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
Angelic Patches for Improving Third-Party Object Detector Performance. CVPR (2023)
Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS (2023)
Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR (2023)
Xiayan Ji, Hyon-Young Choi, Oleg Sokolsky, Insup Lee
Incremental Anomaly Detection with Guarantee in the Internet of Medical Things. IoTDI (2023)
Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, Insup Lee
Using Semantic Information for Defining and Detecting OOD Inputs. CoRR (2023)
Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer
Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR (2023)
Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Amanda Watson, Claire Kendell, Xian Li, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS (2023)
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA (2023)
Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Viktor Erdélyi, Teruhiro Mizumoto, Sean Lee Harrison, James Weimer, George Demiris, Takeshi Nakagawa, Takashi Suehiro, Yasuyuki Gondo, Hajime Nagahara, Oleg Sokolsky, Teruo Higashino, Insup Lee
iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU (2023)
Pengyuan Lu, Michele Caprio, Eric Eaton, Insup Lee
Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning. CoRR (2023)
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR (2023)
Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR (2023)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR (2023)
Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS (2023)
Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR (2023)
Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
Memory-Consistent Neural Networks for Imitation Learning. CoRR (2023)
Tarek Hamid, Insup Lee, Amanda Watson
SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research. UbiComp/ISWC Adjunct (2023)
Amanda Watson, Claire Kendell, Anush Lingamoorthy, Insup Lee, James Weimer
Lumos: An Open-Source Device for Wearable Spectroscopy Research. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6 (4) (2022)
Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee
Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF (2022)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets for Meta-Learning. NeurIPS (2022)
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL (2022)