• ChronoBias: A Benchmark for Evaluating Temporal Group Bias in Retrieval-augmented Language Models
    • Retrieval-Augmented Generation with Estimation of Source Reliability
    • Holistic Unlearning Benchmark: A Multi-Faceted Evaluation for Text-to-Image Diffusion Model Unlearning
    • ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
    • Ensuring Functional Correctness of Large Code Models with Selective Generation
    • Online Selective Generation with Adversarial Bandit Feedback
    • SOUNDBOOST: Effective RCA and Attack Detection for UAV via Acoustic Side-Channel
    • Selective Generation for Controllable Language Models
    • MedBN: Robust Test Time Adaptation against Malicious Test Samples
    • TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction
    • PAC Prediction Sets Under Label Shift
    • Angelic Patches for Improving Third-Party Object Detector Performance
    • ACon$^2$: Adaptive Conformal Consensus for Provable Blockchain Oracles
    • CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems
    • PAC Prediction Sets for Meta-Learning
    • Sequential Covariate Shift Detection Using Classifier Two-Sample Tests
    • PAC Prediction Sets Under Covariate Shift
    • Towards PAC Multi-Object Detection and Tracking
    • Unsafe's Betrayal: Abusing Unsafe Rust in Binary Reverse Engineering via Machine Learning
    • PAC Confidence Predictions for Deep Neural Network Classifiers
    • iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection
    • Calibrated prediction with covariate shift via unsupervised domain adaptation
    • PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction
    • Resilient linear classification: an approach to deal with attacks on training data
    • Integrated intelligence for human-robot teams
    • Abnormal object detection by canonical scene-based contextual model
    • πŸŽ‰ One NeurIPS'25 Workshop Paper
    • πŸ§‘β€βš–οΈ Area Chair
    • πŸŽ‰ Two EMNLP Papers
    • πŸ† DARPA AIxCC Winner!
    • πŸ† Best Paper Finalist
    • πŸŽ‰ One ICCV'25 Paper
    • πŸŽ‰ One DSN'25 Paper
    • πŸ† Graduate Fellowship
    • πŸ§‘β€βš–οΈ Area Chair
    • πŸ† Best Paper Award
    • πŸŽ‰ 2024 Summary
    • πŸ§‘β€βš–οΈ Area Chair
    • πŸŽ‰ One NeurIPS'24 Paper (Spotlight)
    • 🎀 Invite Talk
    • 🎀 Breakout Session
    • πŸ† DARPA AIxCC Semifinals
    • πŸ§‘β€βš–οΈ Area Chair
    • πŸŽ‰ One NAACL'24 Paper
    • πŸŽ‰ One CVPR'24 Paper
    • πŸŽ‰ One ICLR'24 Paper
    • πŸŽ‰ Assistant Professor
    • πŸ† Best Paper Award
    • πŸ“š Trustworthy ML (2025 Spring)
    • πŸ“š Trustworthy ML (2024 Fall)
    • πŸ“š Discrete Mathematics (2024 Sring)
    • πŸ“š Trustworthy ML (2023 Fall)
    • Uncertainty Quantification
    • Machine Unlearning
    • Red Teaming on Agentic AI
    • Trustworthy Robotics
    • Trustworthy Code Generation
    • Trustworthy LLMs
  • Team

πŸŽ‰ One NeurIPS'25 Workshop Paper

Sep 22, 2025Β·
Sangdon Park
Sangdon Park

Congrat to Jaewoo!

Check out our paper on Ensuring Functional Correctness of Large Code Models with Selective Generation.

Publication NeurIPS Workshop

πŸ§‘β€βš–οΈ Area Chair Sep 5, 2025 →