• Home
  • News
  • Research
  • Publication
  • Team
  • Teaching
  • Contact
    • 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
    • 🧑‍⚖️ 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

Ensuring Functional Correctness of Large Code Models with Selective Generation

Jul 1, 2025·
Jaewoo Jeong
,
Taesoo Kim
Sangdon Park
Sangdon Park
· 1 min read
URL Cite
Type
Manuscript

Add the full text or supplementary notes for the publication here using Markdown formatting.

Last updated on Jul 1, 2025
← ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System Sep 19, 2025
Online Selective Generation with Adversarial Bandit Feedback Jul 1, 2025 →