{"id":"https://openalex.org/W7225630129","doi":"https://doi.org/10.5281/zenodo.24063719","title":"A Fragment of Kiafura on ARC-AGI-2: Frozen Runs, What They Transferred, and Why Static Memory Needs a Reasoner","display_name":"A Fragment of Kiafura on ARC-AGI-2: Frozen Runs, What They Transferred, and Why Static Memory Needs a Reasoner","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225630129","doi":"https://doi.org/10.5281/zenodo.24063719"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24063719","doi":"https://doi.org/10.5281/zenodo.24063719","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24063719","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.24063719","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161361987","display_name":"Carmelo Fiorilla","orcid":"https://orcid.org/0009-0008-9952-1477","observed_orcids":["https://orcid.org/0009-0008-9952-1477"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fiorilla, Carmelo","raw_affiliation_strings":["Independent researcher"],"raw_orcid":"https://orcid.org/0009-0008-9952-1477","affiliations":[{"raw_affiliation_string":"Independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161361987"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.6172000169754028,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.6172000169754028,"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/T14381","display_name":"Psychiatry, Mental Health, Neuroscience","score":0.15520000457763672,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.06610000133514404,"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/static-memory","display_name":"static memory","score":0.33799999952316284},{"id":"https://openalex.org/keywords/abstention","display_name":"abstention","score":0.5730000138282776}],"concepts":[{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7875000238418579},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6492000222206116},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.5958999991416931},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.5652999877929688},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5645999908447266},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5383999943733215},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5236999988555908},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4821999967098236},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40880000591278076},{"id":"https://openalex.org/C2779955035","wikidata":"https://www.wikidata.org/wiki/Q4686785","display_name":"Advice (programming)","level":2,"score":0.40709999203681946},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37689998745918274},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3361000120639801},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3312000036239624},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.29120001196861267},{"id":"https://openalex.org/C2780922921","wikidata":"https://www.wikidata.org/wiki/Q255189","display_name":"Paraphrase","level":2,"score":0.2904999852180481},{"id":"https://openalex.org/C2778968369","wikidata":"https://www.wikidata.org/wiki/Q5105328","display_name":"Chose","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C83415579","wikidata":"https://www.wikidata.org/wiki/Q161973","display_name":"Arc (geometry)","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C2777211547","wikidata":"https://www.wikidata.org/wiki/Q17141490","display_name":"Training (meteorology)","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2515000104904175},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.25119999051094055},{"id":"https://openalex.org/C207190284","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static testing","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24063719","doi":"https://doi.org/10.5281/zenodo.24063719","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24063719","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.24063720","doi":"https://doi.org/10.5281/zenodo.24063720","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24063720","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.24063719","doi":"https://doi.org/10.5281/zenodo.24063719","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24063719","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":2,"referenced_works":["https://openalex.org/W7225620666","https://openalex.org/W7225642406"],"related_works":["https://openalex.org/W7225642406","https://openalex.org/W7221128628","https://openalex.org/W7171664870","https://openalex.org/W7171508975","https://openalex.org/W7166810631","https://openalex.org/W6930441596","https://openalex.org/W7167897590","https://openalex.org/W7220988476","https://openalex.org/W7158042845","https://openalex.org/W7196976130"],"abstract_inverted_index":{"Kiafura":[0],"is":[1,37,311,327,354],"a":[2,5,29,38,57,82,134,252,312],"design":[3,363],"for":[4,149,209,358],"machine":[6],"that":[7,84,213],"reasons":[8],"without":[9,12],"tokens":[10],"and":[11,21,42,66,77,94,110,122,141,158,189,203,251,366],"text.":[13],"A":[14],"small":[15],"part":[16],"of":[17,40,56,59,155,160,227,246,254,264],"it":[18,68,90,108,129,137,345,371],"was":[19,103,120,123,186,192,249,259],"built":[20],"run":[22,116,276],"on":[23,70,126,164,232,241],"ARC-AGI-2,":[24],"in":[25,215],"ARC":[26],"Prize":[27],"2026,":[28],"benchmark":[30],"whose":[31,35,43],"tasks":[32,61,148,166,243,284],"are":[33],"grids,":[34],"evidence":[36],"handful":[39],"demonstrations,":[41,199],"contract":[44,267],"allows":[45],"two":[46,222,247,262,279,291,305],"answers":[47,163,196,231,248,263,280,293,315,332,339],"per":[48],"test":[49,300],"input.":[50],"The":[51,261],"fragment":[52,205],"compiles":[53],"verified":[54],"solutions":[55],"block":[58],"training":[60,76],"into":[62,343],"frozen":[63,342],"operational":[64],"memory":[65],"applies":[67],"deterministically":[69],"an":[71,86],"ordinary":[72],"processor,":[73],"with":[74,105,133],"no":[75,78,190,207,299],"language":[79],"model,":[80],"behind":[81],"gate":[83],"emits":[85],"answer":[87,286,326],"only":[88],"when":[89,324,330],"reproduces":[91],"every":[92,150,295],"demonstration":[93],"otherwise":[95],"names":[96],"its":[97,161,216],"abstention.":[98],"This":[99],"paper":[100],"documents":[101],"what":[102,107,370],"done":[104],"it,":[106],"measured,":[109,357],"how":[111],"the":[112,127,170,179,184,198,204,228,265,283,290,308,319,334,348,355,360,362],"work":[113],"continues.":[114],"Each":[115],"compiled":[117,320],"100":[118],"tasks,":[119,144,234],"frozen,":[121],"then":[124],"measured":[125],"900":[128],"had":[130,302],"not":[131,273,351],"seen,":[132],"single":[135],"answer:":[136],"solved":[138,281],"between":[139],"39":[140],"63":[142],"further":[143,147],"about":[145],"forty":[146],"hundred":[151],"compiled,":[152],"almost":[153],"all":[154,236],"ARC-AGI-1":[156],"type,":[157],"237":[159],"255":[162],"those":[165],"were":[167,176,182],"exact.":[168],"On":[169,288],"public":[171],"evaluation":[172],"set,":[173],"five":[174,226],"predictions":[175],"committed":[177],"before":[178],"run:":[180],"four":[181],"confirmed,":[183],"fifth":[185],"vacuously":[187],"consistent,":[188],"emission":[191],"wrong.":[193,260],"Where":[194],"several":[195],"fit":[197],"something":[200],"must":[201,372],"choose,":[202],"has":[206],"organ":[208],"it.":[210],"Every":[211],"rule":[212],"chose":[214],"place":[217],"lost":[218],"correct":[219,230],"answers:":[220],"requiring":[221,235],"supporting":[223],"candidates":[224],"removed":[225],"seven":[229],"fresh":[233],"runs":[237,256],"to":[238,257],"agree":[239],"abstained":[240],"ten":[242],"where":[244],"one":[245,258,285,325],"right,":[250],"majority":[253],"three":[255],"official":[266,292],"keep":[268],"such":[269],"disagreements":[270],"but":[271],"do":[272,350],"resolve":[274],"them:":[275],"by":[277],"run,":[278],"exactly":[282],"solved.":[287],"ARC-AGI-2":[289],"absorb":[294],"conflict":[296],"observed,":[297],"since":[298],"input":[301],"more":[303],"than":[304],"compatible":[306,331,338],"answers;":[307],"zero":[309],"score":[310],"generation":[313],"loss,":[314],"never":[316],"produced":[317],"inside":[318],"vocabulary.":[321],"Choice":[322,336],"binds":[323],"allowed":[328],"or":[329],"outnumber":[333],"slots.":[335],"among":[337],"cannot":[340],"be":[341],"memory;":[344],"needs":[346],"information":[347],"demonstrations":[349],"contain.":[352],"That":[353],"case,":[356],"building":[359],"reasoner":[361],"calls":[364],"for,":[365],"Reasoning":[367],"Theory":[368],"says":[369],"bring.":[373]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}