Alert button
Picture for Insup Lee

Insup Lee

Alert button

Understanding Calibration for Multilingual Question Answering Models

Nov 15, 2023
Yahan Yang, Soham Dan, Dan Roth, Insup Lee

Viaarxiv icon

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

Nov 13, 2023
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee

Figure 1 for Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Figure 2 for Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Figure 3 for Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Figure 4 for Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Viaarxiv icon

PAC Prediction Sets Under Label Shift

Oct 19, 2023
Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani

Viaarxiv icon

Memory-Consistent Neural Networks for Imitation Learning

Oct 09, 2023
Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee

Figure 1 for Memory-Consistent Neural Networks for Imitation Learning
Figure 2 for Memory-Consistent Neural Networks for Imitation Learning
Figure 3 for Memory-Consistent Neural Networks for Imitation Learning
Figure 4 for Memory-Consistent Neural Networks for Imitation Learning
Viaarxiv icon

IBCL: Zero-shot Model Generation for Task Trade-offs in Continual Learning

Oct 09, 2023
Pengyuan Lu, Michele Caprio, Eric Eaton, Insup Lee

Viaarxiv icon

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare

Sep 01, 2023
Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer

Viaarxiv icon

Distributionally Robust Statistical Verification with Imprecise Neural Networks

Aug 30, 2023
Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

Viaarxiv icon

A Novel Bayes' Theorem for Upper Probabilities

Jul 13, 2023
Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee

Viaarxiv icon