{"id":"https://openalex.org/W7224137476","doi":"https://doi.org/10.48550/arxiv.2610.36105","title":"AGDecode: Semantic Attribute Grammar Derivatives for Safety-Constrained Decoding of Large Language Models","display_name":"AGDecode: Semantic Attribute Grammar Derivatives for Safety-Constrained Decoding of Large Language Models","publication_year":2026,"publication_date":"2026-10-26","ids":{"openalex":"https://openalex.org/W7224137476","doi":"https://doi.org/10.48550/arxiv.2610.36105"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.36105","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36105","pdf_url":"https://arxiv.org/pdf/2610.36105","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.36105","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159847646","display_name":"Rajan Maghera","orcid":"https://orcid.org/0009-0003-3947-2865","observed_orcids":["https://orcid.org/0009-0003-3947-2865"]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Maghera, Rajan","raw_affiliation_strings":["University of Toronto , Canada AREN A. BABIKIAN ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto , Canada AREN A. BABIKIAN ,","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130743229","display_name":"Asher Arya","orcid":"https://orcid.org/0009-0008-0774-7613","observed_orcids":["https://orcid.org/0009-0008-0774-7613"]},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Arya, Asher Tempest","raw_affiliation_strings":["McGill University , Department of Electrical and Computer Engineering , Montreal , Canada ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University , Department of Electrical and Computer Engineering , Montreal , Canada ,","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048868515","display_name":"Aren A. Babikian","orcid":"https://orcid.org/0000-0002-8108-0043","observed_orcids":["https://orcid.org/0000-0002-8108-0043"]},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Babikian, Aren A.","raw_affiliation_strings":["McGill University , Department of Electrical and Computer Engineering , Montreal , Canada ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University , Department of Electrical and Computer Engineering , Montreal , Canada ,","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079431306","display_name":"Marsha Che\u0107hik","orcid":"https://orcid.org/0000-0002-6301-3517","observed_orcids":["https://orcid.org/0000-0002-6301-3517"]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Chechik, Marsha","raw_affiliation_strings":["University of Toronto , Canada AREN A. BABIKIAN ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto , Canada AREN A. BABIKIAN ,","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003682451","display_name":"Maryam Mehri Dehnavi","orcid":"https://orcid.org/0000-0002-2719-8788","observed_orcids":["https://orcid.org/0000-0002-2719-8788"]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]},{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Dehnavi, Maryam Mehri","raw_affiliation_strings":["McGill University , Department of Electrical and Computer Engineering , Montreal , Canada ,","University of Toronto , Canada AREN A. BABIKIAN ,","University of Toronto , Department of Computer Science , Toronto , Canada ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University , Department of Electrical and Computer Engineering , Montreal , Canada ,","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"University of Toronto , Canada AREN A. BABIKIAN ,","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"University of Toronto , Department of Computer Science , Toronto , Canada ,","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.9872999787330627,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9872999787330627,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.003700000001117587,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.002400000113993883,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/large-language-models","display_name":"large language models","score":0.8610000014305115},{"id":"https://openalex.org/keywords/attribute-grammars","display_name":"attribute grammars","score":0.8610000014305115},{"id":"https://openalex.org/keywords/realizability","display_name":"realizability","score":0.8119999766349792},{"id":"https://openalex.org/keywords/code-generation","display_name":"code generation","score":0.6489999890327454},{"id":"https://openalex.org/keywords/smt-solvers","display_name":"SMT solvers","score":0.7919999957084656},{"id":"https://openalex.org/keywords/coq-proof-assistant","display_name":"Coq","score":0.46399998664855957},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.6729999780654907},{"id":"https://openalex.org/keywords/c-programs","display_name":"C programs","score":0.40400001406669617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8349999785423279},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6464999914169312},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5555999875068665},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.5379999876022339},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5327000021934509},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48500001430511475},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.48350000381469727},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.4050999879837036},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4027000069618225},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38199999928474426},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.3686000108718872},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.3190000057220459},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C198942812","wikidata":"https://www.wikidata.org/wiki/Q496618","display_name":"Semantic property","level":2,"score":0.30790001153945923},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2833999991416931},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.2827000021934509},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.27730000019073486},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.27649998664855957},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.2669000029563904},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C202708506","wikidata":"https://www.wikidata.org/wiki/Q7449050","display_name":"Semantic compression","level":5,"score":0.25189998745918274}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.36105","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36105","pdf_url":"https://arxiv.org/pdf/2610.36105","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.36105","doi":"https://doi.org/10.48550/arxiv.2610.36105","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.36105","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.36105","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.36105","pdf_url":"https://arxiv.org/pdf/2610.36105","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7224137476.pdf","grobid_xml":"https://content.openalex.org/works/W7224137476.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1964071625","https://openalex.org/W2156429182","https://openalex.org/W2188521969","https://openalex.org/W2293809538","https://openalex.org/W2514073783","https://openalex.org/W3200285169","https://openalex.org/W4212983671","https://openalex.org/W4226242393","https://openalex.org/W4288057765","https://openalex.org/W4308643319","https://openalex.org/W4310514998","https://openalex.org/W4365205411","https://openalex.org/W4366204357","https://openalex.org/W4385014449","https://openalex.org/W4386185625","https://openalex.org/W4389520385","https://openalex.org/W4392498330","https://openalex.org/W4392781601","https://openalex.org/W4403453386","https://openalex.org/W4411267925","https://openalex.org/W4415310611","https://openalex.org/W4415798149","https://openalex.org/W4416036570","https://openalex.org/W7119495937"],"related_works":["https://openalex.org/W7119495937","https://openalex.org/W7214718388","https://openalex.org/W7222777543","https://openalex.org/W7170066313","https://openalex.org/W7077498746","https://openalex.org/W7165642529","https://openalex.org/W4415798509","https://openalex.org/W7127189679","https://openalex.org/W7162893794","https://openalex.org/W7165242241"],"abstract_inverted_index":{"Large":[0],"language":[1,137],"models":[2],"(LLMs)":[3],"are":[4,68,123],"increasingly":[5],"used":[6],"for":[7,83,170],"code":[8],"generation,":[9],"motivating":[10],"techniques":[11],"that":[12,34,67,122,144,216],"guarantee":[13],"the":[14,181,186,193],"structural":[15],"and":[16,48,100,132,149,191,210],"semantic":[17,50,84,102,115,218,224],"correctness":[18,25],"of":[19,119,198],"generated":[20],"programs.":[21],"Constrained":[22],"decoding":[23,86,104,220],"enforces":[24],"during":[26],"generation":[27,197],"by":[28,125],"restricting":[29],"token":[30],"choices":[31],"to":[32,70,72,95,105,152,175],"those":[33],"admit":[35],"at":[36,231],"least":[37],"one":[38],"valid":[39],"completion.":[40],"While":[41],"existing":[42],"approaches":[43],"can":[44,167,221],"enforce":[45,222],"syntactic":[46],"constraints":[47,121],"selected":[49],"properties":[51,60,204],"such":[52,110,129],"as":[53,130],"type":[54],"safety,":[55,207],"they":[56],"either":[57],"target":[58],"specific":[59],"or":[61,172],"rely":[62],"on":[63,88,195],"operational":[64],"pruning":[65],"mechanisms":[66],"difficult":[69],"generalize":[71],"data-dependent,":[73],"inductive":[74],"program":[75,233],"properties.":[76],"We":[77,142,184],"present":[78],"AGDecode,":[79],"a":[80,106],"programmable":[81],"framework":[82,113,194],"constrained":[85,103,219],"based":[87],"least-fixed-point":[89],"semantics.":[90],"AGDecode":[91],"extends":[92],"attribute":[93],"grammars":[94],"partially":[96],"constructed":[97],"syntax":[98],"trees,":[99],"reduces":[101],"realizability":[107],"problem":[108],"over":[109],"trees.":[111],"The":[112],"compiles":[114],"specifications":[116],"into":[117],"systems":[118],"relational":[120],"discharged":[124],"external":[126],"verification":[127,155],"oracles,":[128],"SMT":[131],"CHC":[133],"solvers,":[134],"cleanly":[135],"separating":[136],"semantics":[138],"from":[139],"constraint-solving":[140],"machinery.":[141],"prove":[143],"our":[145,165],"approach":[146],"is":[147],"sound":[148],"complete":[150],"relative":[151],"an":[153],"ideal":[154],"oracle.":[156],"In":[157],"practice,":[158],"solvers":[159],"inevitably":[160],"encounter":[161],"uncertain":[162],"queries;":[163],"conservatively,":[164],"system":[166],"reject":[168],"tokens":[169],"soundness":[171],"speculatively":[173],"continue":[174],"generate":[176],"until":[177],"later":[178],"queries":[179],"resolve":[180],"entire":[182],"generation.":[183],"mechanize":[185],"core":[187],"metatheory":[188],"in":[189],"Rocq":[190],"evaluate":[192],"semantic-constrained":[196],"C":[199],"programs,":[200],"enforcing":[201],"path-sensitive":[202],"safety":[203],"including":[205],"null-pointer":[206],"division-by-zero":[208],"freedom,":[209],"initialized-variable":[211],"usage.":[212],"Our":[213],"results":[214],"demonstrate":[215],"solver-backed":[217],"rich":[223],"guarantees":[225],"while":[226],"incurring":[227],"modest":[228],"computational":[229],"overhead":[230],"regular":[232],"boundaries.":[234]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-10-29T00:00:00"}