PPaperPicks

Insup Lee

15 papers at tracked venues · 10 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4ICLR ×3EMNLP ×2AsiaCCS ×1CHI ×1FSE ×1MICCAI ×1NAACL ×1NeurIPS ×1

Frequent coauthors

Osbert Bastani
×4
Oleg Sokolsky
×4
Wenwen Si
×3
Shuo Li
×3
Sooyong Jang
×2
Kuk Jin Jang
×2
Kaustubh Sridhar
×2
Souradeep Dutta
×2
Dinesh Jayaraman
×2
Xiayan Ji
×2
James Weimer
×2
Sangdon Park
×2

Papers

  1. Conformal Constrained Policy Optimization for Cost-Effective LLM Agents
    AAAI 2026 ·
    Wenwen Si
    ,
    Sooyong Jang
    , Insup Lee,
    Osbert Bastani
  2. Purified Distillation Slimming (PDS) for Robust Backdoor Defense
    AsiaCCS 2026 ·
    Liqun Shan
    ,
    Kaiying Han
    ,
    Yazhou Tu
    , Insup Lee,
    Xiali Hei
  3. Quantifying and Improving Adaptivity in Conformal Prediction Through Input Transformations
    AAAI 2026 ·
    Sooyong Jang
    , Insup Lee
  4. Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models
    AAAI 2025 ·
    Jean Park
    ,
    Kuk Jin Jang
    ,
    Basam Alasaly
    ,
    Sriharsha Mopidevi
    ,
    Andrew Zolensky
    ,
    Eric Eaton
    , Insup Lee,
    Kevin B. Johnson
  5. MrGuard: A Multilingual Reasoning Guardrail for Universal LLM Safety
    EMNLP 2025 ·
    Yahan Yang
    ,
    Soham Dan
    ,
    Shuo Li
    ,
    Dan Roth
    , Insup Lee
  6. REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments
    ICLR 2025 ·
    Kaustubh Sridhar
    ,
    Souradeep Dutta
    ,
    Dinesh Jayaraman
    , Insup Lee
  7. Reliable and Interpretable Visual Field Progression Prediction with Diffusion Models and Conformal Risk Control
    MICCAI 2025 ·
    Wenwen Si
    ,
    Vivian Lin
    ,
    Bo Sun
    ,
    Kuk Jin Jang
    ,
    Rubo Xing
    ,
    Almiqdad Saeed
    ,
    Rina Nagatani
    ,
    Oleg Sokolsky
    , Insup Lee,
    Lama Al-Aswad
  8. AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
    NeurIPS 2024 ·
    Xiayan Ji
    ,
    Anton Xue
    ,
    Eric Wong
    ,
    Oleg Sokolsky
    , Insup Lee
  9. Conformal Prediction Regions for Time Series Using Linear Complementarity Programming
    AAAI 2024 ·
    Matthew Cleaveland
    , Insup Lee,
    George J. Pappas
    ,
    Lars Lindemann
  10. Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan
    CHI 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
  11. Memory-Consistent Neural Networks for Imitation Learning
    ICLR 2024 ·
    Kaustubh Sridhar
    ,
    Souradeep Dutta
    ,
    Dinesh Jayaraman
    ,
    James Weimer
    , Insup Lee
  12. PAC Prediction Sets Under Label Shift
    ICLR 2024 ·
    Wenwen Si
    ,
    Sangdon Park
    , Insup Lee,
    Edgar Dobriban
    ,
    Osbert Bastani
  13. TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction
    NAACL 2024 ·
    Shuo Li
    ,
    Sangdon Park
    , Insup Lee,
    Osbert Bastani
  14. Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
    FSE 2024 ·
    Xi Zheng
    ,
    Aloysius K. Mok
    ,
    Ruzica Piskac
    ,
    Yong Jae Lee
    ,
    Bhaskar Krishnamachari
    ,
    Dakai Zhu
    ,
    Oleg Sokolsky
    , Insup Lee
  15. Uncertainty in Language Models: Assessment through Rank-Calibration
    EMNLP 2024 ·
    Xinmeng Huang
    ,
    Shuo Li
    ,
    Mengxin Yu
    ,
    Matteo Sesia
    ,
    Hamed Hassani
    , Insup Lee,
    Osbert Bastani
    ,
    Edgar Dobriban