{"id":"https://openalex.org/W7164925989","doi":"https://doi.org/10.48550/arxiv.2606.16360","title":"Tyler: Typed Latent Reasoning for Language Models -- When to Think, What to Compute, and How Much to Allocate","display_name":"Tyler: Typed Latent Reasoning for Language Models -- When to Think, What to Compute, and How Much to Allocate","publication_year":2026,"publication_date":"2026-06-15","ids":{"openalex":"https://openalex.org/W7164925989","doi":"https://doi.org/10.48550/arxiv.2606.16360"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.16360","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16360","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.16360","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138731340","display_name":"Hanyu Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin, Hanyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138716625","display_name":"Min Cai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cai, Min","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138754172","display_name":"Jiawei Wen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wen, Jiawei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5059498267","display_name":"Haodi Zhang","orcid":"https://orcid.org/0000-0001-8470-7246"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Haodi","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/T10028","display_name":"Topic Modeling","score":0.4634000062942505,"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.4634000062942505,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.1873999983072281,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.052400000393390656,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6446999907493591},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6017000079154968},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.5297999978065491},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.4973999857902527},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.4481000006198883},{"id":"https://openalex.org/keywords/causal-reasoning","display_name":"Causal reasoning","score":0.4075999855995178},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.39809998869895935},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.3594000041484833},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.3407000005245209}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.724399983882904},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6446999907493591},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6017000079154968},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.5297999978065491},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.4973999857902527},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48730000853538513},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.4481000006198883},{"id":"https://openalex.org/C115086926","wikidata":"https://www.wikidata.org/wiki/Q17004651","display_name":"Causal reasoning","level":3,"score":0.4075999855995178},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.39809998869895935},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3741999864578247},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3594000041484833},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3407000005245209},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C51167844","wikidata":"https://www.wikidata.org/wiki/Q4422623","display_name":"Latent variable","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3163999915122986},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3163999915122986},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.31220000982284546},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.29919999837875366},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2976999878883362},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.29159998893737793},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C170133592","wikidata":"https://www.wikidata.org/wiki/Q1806883","display_name":"Latent semantic analysis","level":2,"score":0.26910001039505005},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C158600405","wikidata":"https://www.wikidata.org/wiki/Q5054566","display_name":"Causal inference","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.16360","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16360","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.16360","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16360","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Chain-of-thought":[0],"(CoT)":[1],"prompting":[2],"improves":[3,158],"reasoning":[4,29,95,125,134,183],"in":[5,40],"large":[6],"language":[7],"models":[8],"(LLMs)":[9],"by":[10,34,160,168],"externalizing":[11],"intermediate":[12],"computation":[13,39,50,73,119],"as":[14],"discrete":[15],"text":[16,112],"tokens,":[17],"but":[18],"this":[19],"textual":[20],"interface":[21],"also":[22],"introduces":[23],"redundancy":[24],"and":[25,53,76,90,114,167,185],"inference":[26],"overhead.":[27],"Latent":[28],"offers":[30],"a":[31,61,88,101,111,117,123],"promising":[32],"alternative":[33],"carrying":[35],"part":[36],"of":[37,72],"the":[38,132,174,187,192],"continuous":[41],"representations.":[42],"However,":[43],"existing":[44],"methods":[45],"typically":[46],"predefine":[47],"when":[48,65],"latent":[49,68,94,118,137],"is":[51,56],"invoked":[52],"how":[54,77],"it":[55],"allocated":[57],"during":[58,96],"decoding,":[59],"leaving":[60],"key":[62],"problem":[63],"unresolved:":[64],"to":[66,74,80,116,162,170],"invoke":[67],"computation,":[69],"what":[70],"type":[71],"perform,":[75],"much":[78],"budget":[79],"allocate.":[81],"We":[82],"propose":[83],"\\textbf{Ty}ped":[84],"\\textbf{L}at\\textbf{e}nt":[85],"\\textbf{R}easoning":[86],"(Tyler),":[87],"typed":[89],"budget-aware":[91],"framework":[92],"for":[93,122],"autoregressive":[97],"decoding.":[98],"Tyler":[99,157],"learns":[100],"policy":[102],"that,":[103],"at":[104],"each":[105],"decoding":[106],"step,":[107],"chooses":[108],"between":[109],"emitting":[110],"token":[113],"switching":[115],"module":[120],"specialized":[121],"particular":[124],"function.":[126],"Once":[127],"invoked,":[128],"an":[129],"operator":[130],"maps":[131],"current":[133],"state":[135,144],"into":[136],"tokens":[138],"that":[139],"support":[140],"global":[141],"planning,":[142],"local":[143],"updates,":[145],"or":[146],"reusable":[147],"procedural":[148],"abstraction.":[149],"Across":[150],"extensive":[151],"experiments":[152],"on":[153],"three":[154],"backbone":[155],"LLMs,":[156],"accuracy":[159],"up":[161,169],"14.49":[163],"points":[164,172],"over":[165,173],"CoT":[166],"4.30":[171],"strongest":[175],"competing":[176],"baseline.":[177],"It":[178],"further":[179],"generalizes":[180],"across":[181],"diverse":[182],"domains":[184],"achieves":[186],"best":[188],"final-stage":[189],"performance":[190],"with":[191],"lowest":[193],"forgetting.":[194]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-17T00:00:00"}