{"id":"https://openalex.org/W7161716664","doi":"https://doi.org/10.48550/arxiv.2605.16829","title":"Constrained Code Generation with Discrete Diffusion","display_name":"Constrained Code Generation with Discrete Diffusion","publication_year":2026,"publication_date":"2026-05-16","ids":{"openalex":"https://openalex.org/W7161716664","doi":"https://doi.org/10.48550/arxiv.2605.16829"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.16829","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.16829","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124148591","display_name":"Lize Shao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shao, Lize","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136468033","display_name":"Michael Cardei","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cardei, Michael","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100311505","display_name":"Zichen Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Zichen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052534316","display_name":"Ferdinando Fioretto","orcid":"https://orcid.org/0000-0002-1381-6776"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fioretto, Ferdinando","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136496869","display_name":"Wenxi Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Wenxi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.16830000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.16830000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.13099999725818634,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.10199999809265137,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6123999953269958},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5895000100135803},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.5676000118255615},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5350000262260437},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.48249998688697815},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4650999903678894},{"id":"https://openalex.org/keywords/noise-reduction","display_name":"Noise reduction","score":0.4499000012874603},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.43230000138282776},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4180999994277954}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.63919997215271},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6123999953269958},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5895000100135803},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.5676000118255615},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5350000262260437},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.48249998688697815},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4650999903678894},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4645000100135803},{"id":"https://openalex.org/C163294075","wikidata":"https://www.wikidata.org/wiki/Q581861","display_name":"Noise reduction","level":2,"score":0.4499000012874603},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.43230000138282776},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4180999994277954},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3822999894618988},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3774000108242035},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.35019999742507935},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.34850001335144043},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3336000144481659},{"id":"https://openalex.org/C159877910","wikidata":"https://www.wikidata.org/wiki/Q2202883","display_name":"Autoregressive model","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C55660270","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C69357855","wikidata":"https://www.wikidata.org/wiki/Q163214","display_name":"Diffusion","level":2,"score":0.2985000014305115},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C2780909371","wikidata":"https://www.wikidata.org/wiki/Q4801092","display_name":"Artificial noise","level":4,"score":0.27480000257492065},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.2603999972343445},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2524999976158142}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.16829","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.16829","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.49402570724487305}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Discrete":[0],"diffusion":[1,93,151],"models":[2],"are":[3],"a":[4,31,41,73],"powerful,":[5],"emerging":[6],"paradigm":[7,29],"for":[8,45,70],"code":[9,58,134],"generation.":[10],"They":[11],"construct":[12],"programs":[13,125],"through":[14],"iterative":[15],"refinement":[16],"of":[17,110],"partially":[18],"corrupted":[19],"token":[20,25],"sequences":[21],"and":[22,49,115,146,152,159],"enable":[23],"parallel":[24],"refinement.":[26],"Importantly,":[27],"this":[28,63],"exposes":[30],"global":[32],"program":[33,104,113],"state":[34,114],"at":[35],"each":[36],"denoising":[37,86,97,119],"step,":[38],"which":[39],"provides":[40],"natural":[42],"intervention":[43],"point":[44],"enforcing":[46],"program-level":[47],"functionality":[48],"security":[50],"constraints,":[51],"guiding":[52],"the":[53,56,65,84,90,111,118,130],"generation":[54,122,135],"before":[55],"final":[57],"is":[59],"committed.":[60],"Building":[61],"on":[62],"observation,":[64],"paper":[66],"introduces":[67],"Constrained":[68],"Diffusion":[69],"Code":[71],"(CDC),":[72],"training-free":[74],"neurosymbolic":[75],"inference":[76],"framework":[77],"that":[78,99],"integrates":[79],"constraint":[80,140],"satisfaction":[81,141],"directly":[82],"into":[83],"reverse":[85],"process.":[87],"CDC":[88,137],"augments":[89],"base":[91,131],"discrete":[92,150],"sampler":[94],"with":[95,103,155],"constraint-aware":[96],"operators":[98],"combine":[100],"mathematical":[101],"optimization":[102],"analysis":[105],"to":[106,129],"identify":[107],"constraint-relevant":[108],"regions":[109],"intermediate":[112],"locally":[116],"adjust":[117],"trajectory,":[120],"steering":[121],"toward":[123],"feasible":[124],"while":[126],"remaining":[127],"close":[128],"model.":[132],"Across":[133],"benchmarks,":[136],"consistently":[138],"improves":[139],"in":[142],"functional":[143],"correctness,":[144],"security,":[145],"even":[147],"syntax,":[148],"outperforming":[149],"autoregressive":[153],"baselines":[154],"less":[156],"corrective":[157],"computation":[158],"more":[160],"localized":[161],"edits.":[162]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-20T00:00:00"}