Insup Lee

1. Reinforcement Learning for Temporal Logic Control Synthesis with\n Probabilistic Satisfaction Guarantees
   2019/09/11 by Mohammadhosein Hasanbeig, Yiannis Kantaros, Hasanbeig, Mohammadhosein +9 · 13 citations
   Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies
2. Verisig: verifying safety properties of hybrid systems with neural network controllers
   2018/11/05 by Radoslav Ivanov, Ivanov, Radoslav, James Weimer +7 · 11 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Fault Detection and Control Systems #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
3. PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction
   2019/12/31 by Sangdon Park, Park, Sangdon, Osbert Bastani +5 · 10 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
4. PAC Prediction Sets Under Covariate Shift
   2021/06/17 by Sangdon Park, Edgar Dobriban, Park, Sangdon +5 · 10 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Domain Adaptation and Few-Shot Learning
5. Uncertainty in Language Models: Assessment through Rank-Calibration
   2024/04/04 by Xinmeng Huang, Huang, Xinmeng, Shuo Li +13 · 13 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Topic Modeling
6. Memory-Consistent Neural Networks for Imitation Learning
   2023/10/09 by Kaustubh Sridhar, Sridhar, Kaustubh, Souradeep Dutta +7 · 1 voice · 5 citations
   Computer Science · Engineering · #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Human Pose and Action Recognition
7. iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection
   2022/01/07 by Ramneet Kaur, Susmit Jha, Kaur, Ramneet +11 · 3 citations
   Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #COVID-19 diagnosis using AI #FOS: Computer and information sciences #Machine Learning (cs.LG)
8. PAC Prediction Sets Under Label Shift
   2023/10/19 by Wenwen Si, Si, Wenwen, Sangdon Park +7 · 5 citations
   Computer Science · #AI in cancer detection #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification
9. Real-Time Detectors for Digital and Physical Adversarial Inputs to Perception Systems
   2020/02/23 by Yiannis Kantaros, Kantaros, Yiannis, Taylor J. Carpenter +9 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Integrated Circuits and Semiconductor Failure Analysis #Robotics (cs.RO) #electronic engineering #information engineering
10. In and Out-of-Domain Text Adversarial Robustness via Label Smoothing
    2022/12/20 by Yahan Yang, Soham Dan, Yang, Yahan +5 · 2 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Topic Modeling
11. Confidence Composition for Monitors of Verification Assumptions
    2021/11/03 by Ivan Ruchkin, Ruchkin, Ivan, Matthew Cleaveland +11 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE)
12. REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments
    2024/12/06 by Kaustubh Sridhar, Sridhar, Kaustubh, Souradeep Dutta +5 · 5 citations
    Computer Science · #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies #Reinforcement Learning in Robotics
13. Using Semantic Information for Defining and Detecting OOD Inputs
    2023/02/21 by Ramneet Kaur, Kaur, Ramneet, Xiayan Ji +13 · 2 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
14. Conservative Safety Monitors of Stochastic Dynamical Systems
    2023/01/26 by Matthew Cleaveland, Cleaveland, Matthew, Oleg Sokolsky +5 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
15. Improving Neural Network Robustness via Persistency of Excitation
    2021/06/03 by Kaustubh Sridhar, Sridhar, Kaustubh, Oleg Sokolsky +5 · 1 citation
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Systems and Control (eess.SY) #Target Tracking and Data Fusion in Sensor Networks #electronic engineering #information engineering
16. RICL: Adding In-Context Adaptability to Pre-Trained Vision-Language-Action Models
    2025/08/04 by Kaustubh Sridhar, Souradeep Dutta, Sridhar, Kaustubh +5 · 7 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Robot Manipulation and Learning #Robotics (cs.RO)
17. A Novel Bayes' Theorem for Upper Probabilities
    2023/07/13 by Michele Caprio, Caprio, Michele, Yusuf Sale +5 · 2 citations
    Computer Science · Engineering · #68T37 #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
18. CODiT: Conformal Out-of-Distribution Detection in Time-Series Data
    2022/07/24 by Ramneet Kaur, Kaur, Ramneet, Kaustubh Sridhar +11 · 1 citation
    Computer Science · Engineering · Environmental Science · #Advanced Chemical Sensor Technologies #Air Quality Monitoring and Forecasting #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG)
19. Causal Repair of Learning-enabled Cyber-physical Systems
    2023/04/06 by Pengyuan Lu, Ivan Ruchkin, Lu, Pengyuan +7 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Software Engineering Research #Systems and Control (eess.SY) #electronic engineering #information engineering
20. Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
    2023/11/13 by Xi Zheng, Aloysius K. Mok, Zheng, Xi +13 · 1 citation
    Engineering · Computer Science · #Safety Systems Engineering in Autonomy #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research
21. Conservative Perception Models for Probabilistic Verification
    2025/03/23 by Matthew Cleaveland, Cleaveland, Matthew, Pengyuan Lu +7 · 3 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification
22. On the Calibration of Multilingual Question Answering LLMs
    2023/11/15 by Yahan Yang, Soham Dan, Yang, Yahan +5 · 1 citation
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
23. AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
    2024/10/31 by Xiayan Ji, Anton Xue, Ji, Xiayan +7 · 1 citation
    Decision Sciences · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Scientific Computing and Data Management