{"id":"https://openalex.org/W7167663108","doi":"https://doi.org/10.48550/arxiv.2607.06155","title":"When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?","display_name":"When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?","publication_year":2026,"publication_date":"2026-07-07","ids":{"openalex":"https://openalex.org/W7167663108","doi":"https://doi.org/10.48550/arxiv.2607.06155"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.06155","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06155","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.2607.06155","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062414329","display_name":"Nikola Zubi\u0107","orcid":"https://orcid.org/0000-0001-9816-2718"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zubi\u0107, Nikola","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140273370","display_name":"Qian Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Qian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140292806","display_name":"Yuyi Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Yuyi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5057116316","display_name":"Davide Scaramuzza","orcid":"https://orcid.org/0000-0002-3831-6778"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Scaramuzza, Davide","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/T10142","display_name":"Formal Methods in Verification","score":0.558899998664856,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.558899998664856,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.10939999669790268,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.08860000222921371,"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/turing-machine","display_name":"Turing machine","score":0.7404999732971191},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5471000075340271},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5421000123023987},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5013999938964844},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4975000023841858},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.4577000141143799},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.4553999900817871},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.44999998807907104},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4494999945163727},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.41940000653266907}],"concepts":[{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.7404999732971191},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6176000237464905},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5471000075340271},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5421000123023987},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5013999938964844},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4975000023841858},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.4577000141143799},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.4553999900817871},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4546999931335449},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.44999998807907104},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4494999945163727},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.41940000653266907},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.414900004863739},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.38350000977516174},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.3813999891281128},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.3758000135421753},{"id":"https://openalex.org/C118505674","wikidata":"https://www.wikidata.org/wiki/Q42586063","display_name":"Encoder","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.358599990606308},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3538999855518341},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.32179999351501465},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.3005000054836273},{"id":"https://openalex.org/C144271403","wikidata":"https://www.wikidata.org/wiki/Q1191836","display_name":"Probabilistic Turing machine","level":5,"score":0.2888999879360199},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.28859999775886536},{"id":"https://openalex.org/C15190523","wikidata":"https://www.wikidata.org/wiki/Q1190223","display_name":"Non-deterministic Turing machine","level":5,"score":0.28839999437332153},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26910001039505005},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.25519999861717224},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.06155","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06155","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.2607.06155","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06155","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":{"Modern":[0],"sequence":[1,37],"models":[2,42],"are":[3,73],"increasingly":[4],"deployed":[5],"as":[6,50],"agents":[7],"that":[8,72,183],"interleave":[9],"token":[10],"generation":[11],"with":[12,44,56,87,136,146,176,198],"calls":[13],"to":[14,212,236],"external":[15],"tools.":[16],"We":[17,31],"give":[18],"an":[19,57],"exact,":[20],"architecture-level":[21],"account":[22],"of":[23,47,95,153],"when":[24],"such":[25],"tool":[26],"access":[27],"increases":[28],"computational":[29],"expressivity.":[30],"model":[32],"any":[33,83,238],"fixed":[34],"finite-precision":[35,40,193],"recurrent":[36,233],"model,":[38],"including":[39],"state-space":[41],"(SSMs)":[43],"$B$":[45],"bits":[46,152,234],"internal":[48,154],"state,":[49],"a":[51,60,67,79,93,110,116,144,161,172,190,225,244],"deterministic":[52],"finite-state":[53,75,84],"controller":[54,145,175,197],"interacting":[55],"oracle":[58,86],"through":[59],"finite":[61,88],"command/observation":[62],"interface.":[63],"Our":[64],"results":[65],"form":[66],"sharp":[68],"dichotomy.":[69],"First,":[70],"tools":[71,170],"themselves":[74],"add":[76],"essentially":[77],"nothing:":[78],"product-state":[80],"simulation":[81],"internalizes":[82],"bounded-interface":[85],"memory":[89,155],"set":[90,138],"$M$":[91],"at":[92],"cost":[94],"only":[96,119],"$\\log_2":[97],"|M|":[98],"+":[99,149],"O(1)$":[100],"additional":[101],"bits,":[102],"so":[103],"the":[104,127,177,213,216],"augmented":[105],"system":[106,128],"remains":[107],"finite-state.":[108],"Second,":[109],"single":[111,173],"minimal":[112],"infinite-state":[113],"tool,":[114],"namely":[115],"tape":[117,141,178],"supporting":[118],"local":[120],"$\\mathtt{read}$,":[121],"$\\mathtt{write}$,":[122],"and":[123,140,158,206,242],"$\\mathtt{move}$":[124],"commands,":[125],"makes":[126],"Turing":[129,134,240],"complete:":[130],"for":[131],"every":[132],"single-tape":[133],"machine":[135],"state":[137],"$Q$":[139],"alphabet":[142],"$\u0393$,":[143],"$O(\\log":[147,231],"|Q|":[148],"\\log":[150],"|\u0393|)$":[151],"simulates":[156],"it,":[157],"we":[159,181,219],"exhibit":[160],"concrete":[162],"exponential":[163],"separation:":[164],"$\\mathrm{EQ}_n$":[165],"requires":[166],"$2^n$":[167],"states":[168],"without":[169],"but":[171],"constant-size":[174],"tool.":[179],"Third,":[180],"show":[182],"this":[184],"construction":[185],"is":[186,210],"realized":[187],"exactly":[188],"by":[189],"natural":[191],"one-layer":[192],"selective":[194],"affine":[195],"SSM":[196],"binary":[199],"one-hot":[200],"hidden":[201],"states,":[202],"$\\{0,1\\}$":[203],"transition":[204],"matrices,":[205],"zero":[207],"biases.":[208],"Selectivity":[209],"essential":[211],"construction.":[214],"In":[215],"supplementary":[217],"material,":[218],"make":[220],"all":[221],"constants":[222],"explicit,":[223],"prove":[224,243],"logarithmic":[226],"oracle-assisted":[227],"universal":[228],"simulation,":[229],"where":[230],"B)$":[232],"suffice":[235],"simulate":[237],"$B$-state":[239],"machine,":[241],"matching":[245],"impossibility":[246],"result.":[247]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-09T00:00:00"}