• Home
  • News
  • Publication
  • Team
  • Teaching
  • Contact
    • Holistic Unlearning Benchmark: A Multi-Faceted Evaluation for Text-to-Image Diffusion Model Unlearning
    • A Regret Perspective on Online Selective Generation
    • Selective Code Generation for Functional Guarantees
    • 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 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
    • 📚 Trustworthy ML (2025 Spring)
  • Team

Selective Code Generation for Functional Guarantees

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
← A Regret Perspective on Online Selective Generation Jul 1, 2025
SOUNDBOOST: Effective RCA and Attack Detection for UAV via Acoustic Side-Channel Jun 1, 2025 →