{"id":"https://openalex.org/W7225466140","doi":"https://doi.org/10.5281/zenodo.24023735","title":"The Length Complexity of the Two-Layer C-RASP Fragment of Chen, Ma and Li Is \u0398(KT\u00b3) for 2 \u2264 K \u2264 T","display_name":"The Length Complexity of the Two-Layer C-RASP Fragment of Chen, Ma and Li Is \u0398(KT\u00b3) for 2 \u2264 K \u2264 T","publication_year":2026,"publication_date":"2026-11-06","ids":{"openalex":"https://openalex.org/W7225466140","doi":"https://doi.org/10.5281/zenodo.24023735"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24023735","doi":"https://doi.org/10.5281/zenodo.24023735","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24023735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24023735","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119746719","display_name":"Kundan Baliga","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Baliga, Kundan","raw_affiliation_strings":["University of Illinois Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5160685850","display_name":"Aiden Xie","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xie, Aiden","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5160585827","display_name":"Aditya Byju","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Byju, Aditya","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]}],"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":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/T11567","display_name":"semigroups and automata theory","score":0.6166999936103821,"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/T11567","display_name":"semigroups and automata theory","score":0.6166999936103821,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.3345000147819519,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.006800000090152025,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computational-learning-theory","display_name":"computational learning theory","score":0.4699999988079071},{"id":"https://openalex.org/keywords/interpolator","display_name":"interpolator","score":0.6050000190734863}],"concepts":[{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7595000267028809},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.640500009059906},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5910000205039978},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.51910001039505},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4941999912261963},{"id":"https://openalex.org/C134786449","wikidata":"https://www.wikidata.org/wiki/Q3391255","display_name":"Planar","level":2,"score":0.4779999852180481},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44690001010894775},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.44449999928474426},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.413100004196167},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3813999891281128},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3792000114917755},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3790000081062317},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.36579999327659607},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C22251595","wikidata":"https://www.wikidata.org/wiki/Q670036","display_name":"Arc length","level":3,"score":0.3068999946117401}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24023735","doi":"https://doi.org/10.5281/zenodo.24023735","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24023735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24023736","doi":"https://doi.org/10.5281/zenodo.24023736","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24023736","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24023735","doi":"https://doi.org/10.5281/zenodo.24023735","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24023735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W4417095623"],"related_works":["https://openalex.org/W7225387252","https://openalex.org/W7131834010","https://openalex.org/W7212008795","https://openalex.org/W4417095623","https://openalex.org/W7168241459","https://openalex.org/W4417537678","https://openalex.org/W7005554804","https://openalex.org/W7203487030","https://openalex.org/W4387947637","https://openalex.org/W7164088395"],"abstract_inverted_index":{"Transformers":[0],"trained":[1],"on":[2,7,102],"short":[3],"inputs":[4,18],"often":[5],"fail":[6],"longer":[8],"ones.":[9],"Chen,":[10],"Ma":[11],"and":[12,61,72,90,108,157,167,178,181],"Li":[13],"asked":[14],"how":[15],"long":[16],"training":[17],"must":[19],"be:":[20],"the":[21,28,54,81,118,126,173,179],"length":[22,41,82,106,146],"complexity":[23,83,153],"of":[24,40,53,64,105,136,152],"a":[25,50,122],"class":[26],"is":[27,84,113,131],"least":[29],"N":[30,44],"such":[31],"that":[32,80,97,183],"an":[33,103,134],"ideal":[34],"learner":[35],"shown":[36],"all":[37],"labeled":[38],"strings":[39],"at":[42,66,137,154],"most":[43,67,138,155],"identifies":[45],"every":[46,162,185],"target":[47],"exactly.":[48],"For":[49],"two-layer":[51],"fragment":[52],"attention-like":[55],"language":[56],"C-RASP,":[57],"with":[58],"K":[59,93,164],"heads":[60],"integer":[62],"parameters":[63],"size":[65],"T,":[68],"they":[69],"proved":[70],"TO(K)":[71],"guessed":[73],"\u03a9(TK)":[74],"for":[75,86,150,161],"small":[76],"K.":[77],"We":[78],"show":[79,111],"\u0398(KT3)":[85],"T":[87],"\u2265":[88,165],"4":[89,166],"2":[91],"\u2264":[92,94],"T:":[95],"programs":[96],"compute":[98],"different":[99],"functions":[100],"differ":[101],"input":[104,135],"O(KT3),":[107],"explicit":[109],"pairs":[110],"this":[112],"tight.":[114],"The":[115,170],"proof":[116],"steers":[117],"two":[119],"programs'":[120],"scores,":[121],"planar":[123],"walk,":[124],"into":[125],"set":[127],"where":[128],"exactly":[129],"one":[130],"positive,":[132],"using":[133],"three":[139],"phases.":[140],"Consequently,":[141],"their":[142,158],"minimum-complexity":[143],"interpolator":[144],"needs":[145],"O(\u03b13":[147],"log":[148],"\u03b1)":[149],"targets":[151],"\u03b1,":[156],"guess":[159],"fails":[160],"fixed":[163],"large":[168],"T.":[169],"record":[171],"includes":[172],"paper,":[174],"its":[175],"LaTeX":[176],"source,":[177],"code":[180],"certificates":[182],"reproduce":[184],"computed":[186],"result.":[187]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}