{"id":"https://openalex.org/W7165642529","doi":"https://doi.org/10.48550/arxiv.2606.21619","title":"The Alignment Problem in Constrained Code Generation","display_name":"The Alignment Problem in Constrained Code Generation","publication_year":2026,"publication_date":"2026-06-19","ids":{"openalex":"https://openalex.org/W7165642529","doi":"https://doi.org/10.48550/arxiv.2606.21619"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.21619","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.21619","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2606.21619","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045894581","display_name":"Matteo Biagiola","orcid":"https://orcid.org/0000-0002-7825-3409"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Biagiola, Matteo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115826586","display_name":"Jahrim Gabriele Cesario","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cesario, Jahrim Gabriele","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139127699","display_name":"Luca Di Grazia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Di Grazia, Luca","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092101568","display_name":"George Zakhour","orcid":"https://orcid.org/0009-0000-5042-1207"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zakhour, George","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5090555377","display_name":"Guido Salvaneschi","orcid":"https://orcid.org/0000-0002-9324-8894"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Salvaneschi, Guido","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/T10260","display_name":"Software Engineering Research","score":0.8378000259399414,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.8378000259399414,"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/T10126","display_name":"Logic, programming, and type systems","score":0.05249999836087227,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.02019999921321869,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/correctness","display_name":"Correctness","score":0.8342000246047974},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.6352999806404114},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.6233999729156494},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6173999905586243},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5705000162124634},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.3928000032901764},{"id":"https://openalex.org/keywords/syntax-error","display_name":"Syntax error","score":0.36160001158714294},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.3481999933719635}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8342000246047974},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8122000098228455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6883999705314636},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.6352999806404114},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6233999729156494},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6173999905586243},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5705000162124634},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.3928000032901764},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3801000118255615},{"id":"https://openalex.org/C11742125","wikidata":"https://www.wikidata.org/wiki/Q1195374","display_name":"Syntax error","level":4,"score":0.36160001158714294},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.337799996137619},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3131999969482422},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.31209999322891235},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.2831999957561493},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28299999237060547},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.26989999413490295},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.2535000145435333},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.21619","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.21619","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2606.21619","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.21619","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"have":[4],"demonstrated":[5],"strong":[6],"capabilities":[7],"in":[8,22,155,198],"code":[9,108,214],"generation,":[10],"but":[11],"their":[12],"outputs":[13],"frequently":[14,175],"contain":[15],"syntax":[16,126],"or":[17],"type":[18],"errors":[19,36],"that":[20,79,86,210],"result":[21],"compilation":[23,35],"failures.":[24],"Constrained":[25],"decoding":[26,150,154],"has":[27],"been":[28],"proposed":[29],"as":[30,42],"a":[31,43,49],"solution":[32],"to":[33,81,136,174,184,207],"mitigate":[34],"by":[37,73,96,182],"construction,":[38],"improving":[39],"functional":[40,158,180],"correctness":[41,181],"byproduct.":[44],"However,":[45],"previous":[46],"works":[47],"overlook":[48],"critical":[50],"aspect":[51],"of":[52,90,139,157,167,192,196],"constrained":[53,153,199],"decoding:":[54],"the":[55,64,74,82,91,99,145,162,168,172,189,193],"alignment":[56],"between":[57],"constrainer":[58,75,146],"(e.g.,":[59,68],"types),":[60],"language":[61,67,100,116,133],"model":[62,101,163],"and":[63,103,125,129,178,201],"target":[65,119],"specification":[66],"TypeScript).":[69],"Misalignment":[70],"is":[71,147],"caused":[72],"being":[76],"incomplete--rejecting":[77],"programs":[78,85],"belong":[80],"target--or":[83],"unsound--allowing":[84],"are":[87,211],"not":[88],"part":[89],"target.":[92],"The":[93],"bias":[94],"created":[95],"incompleteness":[97],"distorts":[98],"distribution,":[102],"can":[104],"be":[105],"detrimental":[106],"for":[107,213],"generation.":[109],"We":[110],"evaluate":[111],"this":[112],"hypothesis":[113],"using":[114],"seven":[115],"models,":[117],"two":[118,121],"languages,":[120],"constrainers,":[122],"enforcing":[123],"types":[124],"during":[127],"decoding,":[128,200],"we":[130],"study":[131],"how":[132,206],"models":[134],"react":[135],"varying":[137],"levels":[138],"incompleteness.":[140],"On":[141],"three":[142],"benchmarks,":[143],"when":[144],"incomplete,":[148],"unconstrained":[149],"significantly":[151],"outperforms":[152],"terms":[156],"correctness.":[159],"Incompleteness":[160],"pushes":[161],"into":[164],"low-probability":[165],"regions":[166],"program":[169],"space,":[170],"causing":[171],"generation":[173,215],"time":[176],"out,":[177],"reducing":[179],"up":[183],"97%.":[185],"These":[186],"contributions":[187],"make":[188],"community":[190],"aware":[191],"negative":[194],"effects":[195],"misalignment":[197],"provide":[202],"quantitative":[203],"insights":[204],"on":[205],"design":[208],"constrainers":[209],"beneficial":[212],"systems":[216],"with":[217],"formal":[218],"guarantees.":[219]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-24T00:00:00"}