Good Papers

Showing papers from The University of Virginia Show all papers

78%Highly rated
?Highly ratedVote to see the score
NeurIPS 2026U Virginia, CharlottesvilleU VirginiaThe University of VirginiaCode generation

Constrained Code Generation with Discrete Diffusion

CDC integrates constraint satisfaction into discrete diffusion code generation via training-free neurosymbolic operators that locally steer denoising toward feasible programs, improving correctness, security, and syntax over baselines.

Lize Shao, Michael Cardei, Zichen Xie, Ferdinando Fioretto and 1 more

Atlanta Poster Session 4, Thu, Dec 10, 4:30 PM–7:30 PM, Hall C1 · Published 2026

– ReadersNo votes yet
11/20 AI panelreviewers recommend it

Readers and the AI panel: vote on this paper to see what they said.

Only vote on papers you've read. Sign in with GitHub to vote.

AI panel: 11 of 20 reviewers recommend it
lenient 4/5
medium 7/10
strict 0/5
91%Must read
?Must readVote to see the score
NeurIPS 2026U VirginiaU PennsylvaniaRiceU Virginia, CharlottesvilleFacebookLLM evaluation & benchmarks

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation

VeriContest introduces 946 competitive programming problems with verified Rust specifications and proofs, showing state-of-the-art models reach only 5.29% on end-to-end verifiable generation.

Zichen Xie, Mrigank Pawagi, Yuxin Liu, Aaditi Rai and 4 more

Atlanta Poster Session 4, Thu, Dec 10, 4:30 PM–7:30 PM, Hall C1 · Published 2026 · ▲ 1 on Hugging Face

– ReadersNo votes yet
18/20 AI panelreviewers recommend it

Readers and the AI panel: vote on this paper to see what they said.

Only vote on papers you've read. Sign in with GitHub to vote.

AI panel: 18 of 20 reviewers recommend it
lenient 5/5
medium 9/10
strict 4/5