Topics can overlap: a paper counts once in each of its topics, but only once in the total. A topic assignment does not prove quality or reproducibility.
Discrete diffusion models are a powerful, emerging paradigm for code generation. They construct programs through iterative refinement of partially corrupted token sequences and enable parallel token refinement. Importantly, this paradigm exposes a global program state at each denoising step, which provides a natural intervention point for enforcing program-level functionality and security constraints, guiding the generation before the final code is committed. Building on this observation, the paper introduces Constrained Diffusion for Code (CDC), a training-free neurosymbolic inference framewo
Useful for: Not assessed · Limitation: Not assessed
Public snapshot dates
Collection recorded in this snapshot
Newest publication recorded in this snapshot
Snapshot generated
These are saved observations, not the last collector attempt or a guarantee of corpus completeness.