{"id":"https://openalex.org/W7214739617","doi":"https://doi.org/10.48550/arxiv.2609.35609","title":"Twist, Don't Tilt: Trajectory-Exact Constrained Decoding for Masked Diffusion Models","display_name":"Twist, Don't Tilt: Trajectory-Exact Constrained Decoding for Masked Diffusion Models","publication_year":2026,"publication_date":"2026-09-28","ids":{"openalex":"https://openalex.org/W7214739617","doi":"https://doi.org/10.48550/arxiv.2609.35609"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.35609","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35609","pdf_url":"https://arxiv.org/pdf/2609.35609","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.35609","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005733208","display_name":"Aditya Thimmaiah","orcid":"https://orcid.org/0009-0002-1917-7386","observed_orcids":["https://orcid.org/0009-0002-1917-7386"]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thimmaiah, Aditya","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120309020","display_name":"Lara Marinov","orcid":"https://orcid.org/0009-0002-6785-4230","observed_orcids":["https://orcid.org/0009-0002-6785-4230"]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marinov, Lara","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036007832","display_name":"Jayanth Srinivasa","orcid":"https://orcid.org/0000-0002-7732-8827","observed_orcids":["https://orcid.org/0000-0002-7732-8827"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Srinivasa, Jayanth","raw_affiliation_strings":["Cisco Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cisco Research","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067602750","display_name":"Haris Vikalo","orcid":"https://orcid.org/0000-0002-7945-4114","observed_orcids":["https://orcid.org/0000-0002-7945-4114"]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vikalo, Haris","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5153455437","display_name":"Junyi Jessy Li","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Li, Junyi Jessy","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063052820","display_name":"Milos Gligoric","orcid":"https://orcid.org/0000-0002-5894-7649","observed_orcids":["https://orcid.org/0000-0002-5894-7649","https://orcid.org/0000-0002-1745-3765"]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gligoric, Milos","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"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/T10028","display_name":"Topic Modeling","score":0.364300012588501,"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/T10028","display_name":"Topic Modeling","score":0.364300012588501,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.22859999537467957,"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.164900004863739,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/constrained-decoding","display_name":"constrained decoding","score":0.8230000138282776},{"id":"https://openalex.org/keywords/masked-diffusion-language-models","display_name":"masked diffusion language models","score":0.9610000252723694},{"id":"https://openalex.org/keywords/sequential-monte-carlo","display_name":"sequential Monte Carlo","score":0.8510000109672546},{"id":"https://openalex.org/keywords/doob-h-transform","display_name":"Doob h-transform","score":0.9779999852180481},{"id":"https://openalex.org/keywords/exact-sampling","display_name":"exact sampling","score":0.47200000286102295},{"id":"https://openalex.org/keywords/twister","display_name":"Twister","score":0.5289999842643738}],"concepts":[{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.7186999917030334},{"id":"https://openalex.org/C159246509","wikidata":"https://www.wikidata.org/wiki/Q5428725","display_name":"Factor graph","level":3,"score":0.6072999835014343},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5791000127792358},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5726000070571899},{"id":"https://openalex.org/C52740198","wikidata":"https://www.wikidata.org/wiki/Q1539564","display_name":"Importance sampling","level":3,"score":0.4546000063419342},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.44530001282691956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44359999895095825},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4088999927043915},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.3984000086784363},{"id":"https://openalex.org/C52421305","wikidata":"https://www.wikidata.org/wiki/Q1151499","display_name":"Particle filter","level":3,"score":0.39169999957084656},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.34880000352859497},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.34689998626708984},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2930000126361847},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C69357855","wikidata":"https://www.wikidata.org/wiki/Q163214","display_name":"Diffusion","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.35609","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35609","pdf_url":"https://arxiv.org/pdf/2609.35609","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.35609","doi":"https://doi.org/10.48550/arxiv.2609.35609","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.35609","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:2609.35609","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35609","pdf_url":"https://arxiv.org/pdf/2609.35609","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214739617.pdf","grobid_xml":"https://content.openalex.org/works/W7214739617.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7167829652","https://openalex.org/W4415334935","https://openalex.org/W7164891358","https://openalex.org/W7166638395","https://openalex.org/W7148616872","https://openalex.org/W7160909305","https://openalex.org/W4416156711","https://openalex.org/W7166852146","https://openalex.org/W7127090971","https://openalex.org/W7169763984"],"abstract_inverted_index":{"Constrained":[0],"decoding":[1,38],"for":[2,36,105,145,157,175],"Masked":[3],"Diffusion":[4],"Language":[5],"Models":[6],"(MDLMs)":[7],"aims":[8],"to":[9,97],"ensure":[10],"that":[11,80,156,180],"generated":[12],"outputs":[13,23],"satisfy":[14],"a":[15,109],"specified":[16],"structure":[17],"or":[18],"syntax":[19],"constraint.":[20],"MDLMs":[21],"generate":[22],"by":[24,50,135],"repeatedly":[25],"unmasking":[26],"masked":[27,48],"positions":[28],"present":[29],"in":[30,83],"their":[31,81],"current":[32],"state.":[33],"Recent":[34],"strategies":[35],"constrained":[37,65],"constrain":[39],"the":[40,52,88,120,127,133,138,148,152,161,168,181,186],"model's":[41,89],"per-step":[42],"mean-field":[43],"posterior":[44],"(which":[45],"factorizes":[46],"over":[47,92],"positions)":[49],"enforcing":[51],"desired":[53],"constraint":[54,194],"with":[55,167],"an":[56,102],"automaton.":[57],"The":[58],"resulting":[59,182],"chain-structured":[60],"factor":[61],"graph":[62],"allows":[63],"exact":[64,75,103],"sampling":[66],"via":[67],"dynamic":[68],"programming.":[69],"However,":[70],"despite":[71],"each":[72],"draw":[73],"being":[74],"and":[76,124],"constraint-satisfying,":[77],"we":[78],"prove":[79,179],"composition,":[82],"general,":[84],"tilts":[85],"away":[86],"from":[87],"relative":[90],"probabilities":[91],"valid":[93,115],"trajectories,":[94],"thus":[95],"leading":[96],"trajectory":[98],"bias.":[99],"We":[100,130,154,178],"derive":[101],"expression":[104],"this":[106],"bias":[107,128,134],"as":[108,151],"product":[110],"of":[111],"ratios":[112],"measuring":[113],"how":[114],"continuation":[116],"mass":[117],"changes":[118],"when":[119,126],"denoiser":[121],"is":[122,164],"reconditioned,":[123],"characterize":[125],"vanishes.":[129],"then":[131],"correct":[132],"introducing":[136],"TWISTER,":[137],"first":[139],"automaton-twisted":[140],"Sequential":[141],"Monte":[142],"Carlo":[143],"decoder":[144,150],"MDLMs,":[146],"using":[147,172],"step-exact":[149,176],"proposal.":[153],"show":[155],"regular":[158],"language":[159],"constraints,":[160],"Feynman-Kac":[162,183],"correction":[163],"exactly":[165],"computable,":[166],"twists":[169],"obtained":[170],"efficiently":[171],"quantities":[173],"pre-computed":[174],"sampling.":[177],"model":[184],"targets":[185],"unbiased":[187],"Doob":[188],"h-transformed":[189],"path":[190],"law":[191],"conditioned":[192],"on":[193],"satisfaction.":[195]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-30T00:00:00"}