Yisong Yue
- CLEVER: A Curated Benchmark for Formally Verified Code Generation
- Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
- DISC: Dynamic Decomposition Improves LLM Inference Scaling
- EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
- Kuramoto Orientation Diffusion Models
- Split Gibbs Discrete Diffusion Posterior Sampling
- Steering Generative Models with Experimental Data for Protein Fitness Optimization