Insup Lee
University of Pennsylvania
H-index: 75
North America-United States
Top articles of Insup Lee
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Conformal prediction regions for time series using linear complementarity programming | Proceedings of the AAAI Conference on Artificial Intelligence | Matthew Cleaveland Insup Lee George J Pappas Lars Lindemann | 2024/3/24 |
Out-of-Distribution Detection in Dependent Data for Cyber-Physical Systems with Conformal Guarantees | ACM Transactions on Cyber-Physical Systems | Ramneet Kaur Yahan Yang Oleg Sokolsky Insup Lee | 2024 |
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees | ACM Transactions on Cyber-Physical Systems | Yahan Yang Ramneet Kaur Souradeep Dutta Insup Lee | 2024 |
LLM-enabled Cyber-Physical Systems: Survey, Research Opportunities, and Challenges | Weizhe Xu Mengyu Liu Oleg Sokolsky Insup Lee Fanxin Kong | 2024/5 | |
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works | Pengyuan Lu Lin Zhang Mengyu Liu Kaustubh Sridhar Oleg Sokolsky | 2024/4/6 | |
Uncertainty in Language Models: Assessment through Rank-Calibration | arXiv preprint arXiv:2404.03163 | Xinmeng Huang Shuo Li Mengxin Yu Matteo Sesia Hamed Hassani | 2024/4/4 |
Predicting out-of-distribution performance of deep neural networks using model conformance | Ramneet Kaur Susmit Jha Anirban Roy Oleg Sokolsky Insup Lee | 2023/6/6 | |
A novel Bayes’ theorem for upper probabilities | Michele Caprio Yusuf Sale Eyke Hüllermeier Insup Lee | 2023/8/4 | |
Understanding Calibration for Multilingual Question Answering Models | arXiv preprint arXiv:2311.08669 | Yahan Yang Soham Dan Dan Roth Insup Lee | 2023/11/15 |
Memory-consistent neural networks for imitation learning | ICLR 2024 | Kaustubh Sridhar Souradeep Dutta Dinesh Jayaraman James Weimer Insup Lee | 2023/10 |
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning | arXiv preprint arXiv:2302.10341 | Vivian Lin Kuk Jang Souradeep Dutta Michele Caprio Oleg Sokolsky | 2023/2/20 |
Automated insulin delivery for hypoglycemia avoidance and glucose counterregulation in long-standing type 1 diabetes with hypoglycemia unawareness | Diabetes Technology & Therapeutics | Anneliese J Flatt Amy J Peleckis Cornelia Dalton-Bakes Huong-Lan Nguyen Sarah Ilany | 2023/5/1 |
Codit: Conformal out-of-distribution detection in time-series data for cyber-physical systems | Ramneet Kaur Kaustubh Sridhar Sangdon Park Yahan Yang Susmit Jha | 2023/5/9 | |
Causal repair of learning-enabled cyber-physical systems | Pengyuan Lu Ivan Ruchkin Matthew Cleaveland Oleg Sokolsky Insup Lee | 2023/6/6 | |
Memory Classifiers for Robust ECG Classification against Physiological Noise | Kuk Jin Jang Souradeep Dutta Jean Park James Weimer Insup Lee | 2023/7/24 | |
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach | arXiv preprint arXiv:2311.07377 | Xi Zheng Aloysius K Mok Ruzica Piskac Yong Jae Lee Bhaskar Krishnamachari | 2023/11/13 |
SpectraVue-An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research | Tarek Hamid Insup Lee Amanda Watson | 2023/10/8 | |
Imprecise Bayesian neural networks | arXiv preprint arXiv:2302.09656 | Michele Caprio Souradeep Dutta Kuk Jin Jang Vivian Lin Radoslav Ivanov | 2023/2/19 |
Detection of Adversarial Physical Attacks in Time-Series Image Data | arXiv preprint arXiv:2304.13919 | Ramneet Kaur Yiannis Kantaros Wenwen Si James Weimer Insup Lee | 2023/4/27 |
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression | Sydney Pugh Souradeep Dutta Ramneet Kaur Yahan Yang Elena Bernardis | 2023/5/9 |