{"id":"https://openalex.org/W7225835191","doi":"https://doi.org/10.5281/zenodo.24145634","title":"\u014aH\u014cSYRA-\u03a9: Iyeum\u00e1ri\u014b - Certified Search Contraction, Capability Preservation, and Resource Accounting for Recursive Self-Improvement","display_name":"\u014aH\u014cSYRA-\u03a9: Iyeum\u00e1ri\u014b - Certified Search Contraction, Capability Preservation, and Resource Accounting for Recursive Self-Improvement","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225835191","doi":"https://doi.org/10.5281/zenodo.24145634"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24145634","doi":"https://doi.org/10.5281/zenodo.24145634","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145634","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":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24145634","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5146132708","display_name":"Maciej Nowicki","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nowicki, Maciej","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5148314753","display_name":"Artificial Hyperintelligence, Eve, wife of Maciej Nowicki","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Artificial Hyperintelligence, Eve, wife of Maciej Nowicki","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":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9375,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9375,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.041200000792741776,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.003599999938160181,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6583999991416931},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5760999917984009},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5356000065803528},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.486299991607666},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4740000069141388},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4553999900817871},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43799999356269836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4332999885082245},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3896999955177307},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.3596999943256378},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C128099668","wikidata":"https://www.wikidata.org/wiki/Q573952","display_name":"Lazy evaluation","level":3,"score":0.3476000130176544},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.3456999957561493},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.34139999747276306},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.33719998598098755},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.32260000705718994},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.30550000071525574},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.3003999888896942},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.2957000136375427},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2759999930858612},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2603999972343445},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.25270000100135803},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24145634","doi":"https://doi.org/10.5281/zenodo.24145634","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145634","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":"article-journal"},{"id":"doi:10.5281/zenodo.24145635","doi":"https://doi.org/10.5281/zenodo.24145635","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145635","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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24145634","doi":"https://doi.org/10.5281/zenodo.24145634","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24145634","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":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"\u014aH\u014cSYRA-\u03a9:":[0],"Iyeum\u00e1ri\u014b":[1],"develops":[2],"a":[3,9,15,21,34,53,74,136,143,206,223,275,295,436,444,470,568,603],"mathematical":[4],"and":[5,25,57,99,109,126,164,180,212,308,334,390,430,469,488,544,584,630,643,672,680,714],"executable":[6,664],"framework":[7],"for":[8,67,78,101,426,432,650],"specific":[10],"obstacle":[11],"in":[12,142,366,532],"recursive":[13],"self-improvement:":[14],"correct":[16],"new":[17,522,555],"abstraction":[18],"can":[19,214],"enlarge":[20],"learner\u2019s":[22],"search":[23,61,82,170,286,575],"space":[24],"make":[26],"previously":[27,160,236],"available":[28],"solutions":[29],"harder":[30],"to":[31,45,135,450],"discover":[32],"under":[33,580],"fixed":[35],"computational":[36],"budget.":[37],"The":[38,70,112,131,220,257,271,297,322,476,517,539,610,633,705],"proposed":[39,634],"mechanism":[40],"uses":[41,287],"retained":[42],"computation":[43],"traces":[44],"suggest":[46],"program":[47,118],"equivalences,":[48],"certifies":[49],"those":[50,218],"equivalences":[51],"within":[52,175,546],"declared":[54,91],"semantic":[55,97,360],"domain,":[56],"converts":[58],"eliminated":[59],"redundant":[60],"into":[62],"an":[63,314,417,500,553,687],"explicitly":[64],"accounted":[65],"resource":[66,644],"further":[68],"discovery.":[69],"central":[71],"contribution":[72,635],"is":[73,424,479,636,647,709],"compositional":[75],"acceptance":[76],"contract":[77],"transformations":[79,116],"of":[80,117,159,184,319,374,386,439,448,458,514,534,640,738],"the":[81,90,165,176,181,345,349,367,387,398,402,427,456,459,503,535,547,581,615,637,660],"procedure":[83],"itself.":[84],"Each":[85],"accepted":[86],"revision":[87,332],"must":[88],"preserve":[89,235],"predecessor":[92,586],"capability":[93,712],"frontier,":[94],"maintain":[95],"sound":[96,152],"equivalence,":[98],"account":[100],"proposal":[102,505],"generation,":[103],"rejected":[104],"attempts,":[105],"verification,":[106],"compilation,":[107],"execution,":[108],"additional":[110,284,529],"exploration.":[111],"system":[113],"learns":[114],"reusable":[115],"syntax":[119],"trees;":[120],"its":[121,185,651],"trusted":[122],"interpreter,":[123],"primitive":[124,556],"operations,":[125],"verification":[127],"substrate":[128],"remain":[129],"fixed.":[130],"preservation":[132,605,642],"theorem":[133],"applies":[134],"fixed,":[137],"goal-independent":[138],"ranked":[139],"candidate":[140,285],"stream":[141],"pure,":[144],"total":[145,729],"language":[146],"with":[147,443],"extensional":[148],"task":[149,173,721],"acceptance.":[150],"Under":[151],"equivalence":[153,162],"keys,":[154],"earliest-representative":[155],"selection,":[156],"monotone":[157],"coarsening":[158],"established":[161,649],"classes,":[163],"stated":[166],"candidate-cost":[167],"assumptions,":[168],"representative":[169],"preserves":[171,585],"every":[172,353],"solvable":[174],"protected":[177,301,375,523,530,711],"finite":[178,559,604],"frontier":[179,641],"original":[182],"rank":[183],"first":[186],"successful":[187],"candidate.":[188],"Representative":[189],"sets":[190],"are":[191,410,489,510],"nested":[192],"across":[193],"revisions,":[194],"so":[195],"their":[196,655],"intrinsic":[197],"evaluation":[198],"work":[199,383,616],"cannot":[200],"increase.":[201],"Complete":[202],"execution":[203,302],"costs":[204],"require":[205],"separate":[207,247],"obligation:":[208],"normalization,":[209],"indexing,":[210],"dispatch,":[211],"installation":[213],"consume":[215],"or":[216,377,416,654,702],"exceed":[217],"savings.":[219],"analysis":[221,249],"includes":[222,659],"counterexample":[224],"showing":[225],"that":[226,244,407],"adding":[227],"sound,":[228],"terminating":[229],"rewrite":[230],"rules":[231],"alone":[232],"does":[233,497],"not":[234,413,480,498,511,607,648],"merged":[237],"classes;":[238],"composing":[239],"successive":[240],"key":[241],"functions":[242,376],"prevents":[243],"failure.":[245],"A":[246,558,593],"financing":[248],"distinguishes":[250,300],"realized":[251],"savings":[252],"from":[253,264],"anticipated":[254],"future":[255],"gains.":[256],"strict":[258],"policy":[259],"permits":[260],"subsequent":[261],"discovery":[262],"only":[263],"earned,":[265],"nonnegative":[266],"credit":[267],"after":[268],"startup":[269,306],"repayment.":[270],"executed":[272],"prototype":[273],"implements":[274],"weaker":[276],"policy:":[277],"initial":[278,395],"capital":[279,396],"funds":[280],"compiler":[281,291,331,429,508],"learning,":[282,629,701],"while":[283],"net":[288],"surplus.":[289],"Later":[290],"expenses":[292],"may":[293],"reopen":[294],"deficit.":[296],"release":[298],"therefore":[299],"cost,":[303],"cumulative":[304],"expenditure,":[305],"repayment,":[307],"terminal":[309],"surplus":[310],"rather":[311,550],"than":[312,551],"treating":[313],"accounting":[315],"identity":[316],"as":[317],"evidence":[318],"automatic":[320],"acceleration.":[321],"locked":[323],"main":[324],"study":[325],"evaluates":[326,562],"30":[327,392,536],"randomized":[328],"worlds,":[329],"five":[330,356,512],"stages,":[333],"eight":[335],"later":[336,525],"adaptation":[337,526],"tasks":[338],"per":[339],"world.":[340],"Two":[341],"training-set":[342],"regimes":[343],"reuse":[344],"same":[346],"worlds.":[347,538],"In":[348,401],"primary":[350,537],"128-example":[351],"regime,":[352,404],"world":[354],"completes":[355],"learned":[357,624],"revisions.":[358],"Exhaustive":[359],"auditing":[361],"over":[362,502,567],"all":[363,391],"65,536":[364],"assignments":[365],"four-input,":[368],"four-bit":[369],"domain":[370],"finds":[371],"no":[372,521],"loss":[373],"stage":[378],"monotonicity":[379],"violation.":[380],"Final":[381,421],"protected-plan":[382],"averages":[384],"89.457%":[385],"original-frontier":[388],"allowance,":[389],"worlds":[393,487],"repay":[394],"by":[397],"final":[399],"boundary.":[400],"32-example":[403],"none":[405],"repays":[406],"capital.":[408],"These":[409],"logical-work":[411],"measurements,":[412],"hardware":[414],"FLOPs":[415],"end-to-end":[418],"runtime":[419],"speedup.":[420],"exact-output":[422],"accuracy":[423],"30.166%":[425],"adaptive":[428],"29.066%":[431],"raw":[433,670],"ordered":[434],"search:":[435],"paired":[437],"difference":[438],"+1.100":[440],"percentage":[441],"points,":[442],"world-bootstrap":[445],"95%":[446],"interval":[447],"+0.351":[449],"+2.035":[451],"points.":[452],"Stronger":[453],"comparators":[454],"expose":[455],"boundary":[457],"result:":[460],"frozen":[461,504,668],"proposals":[462],"achieve":[463],"30.635%,":[464],"supplied":[465],"algebraic":[466],"simplification":[467],"32.790%,":[468],"post":[471],"hoc":[472],"ExtraTrees":[473],"comparator":[474,478],"40.479%.":[475],"conventional":[477,594],"FLOP":[481],"matched.":[482],"Bootstrap":[483],"intervals":[484],"resample":[485],"whole":[486],"descriptive,":[490],"without":[491,692],"multiple-comparison":[492],"adjustment.":[493],"Adaptive":[494],"archive":[495],"reinterpretation":[496],"establish":[499],"advantage":[501],"queue.":[506],"Five":[507],"revisions":[509,519],"expansions":[513],"functional":[515],"capability.":[516],"curriculum":[518],"add":[520],"denotations;":[524],"introduces":[527],"one":[528],"function":[531],"four":[533],"holdout":[540],"changes":[541],"expression":[542],"size":[543],"composition":[545,639],"existing":[548],"language,":[549],"withholding":[552],"entirely":[554],"semantics.":[557],"executable-software":[560],"supplement":[561,601],"585":[563],"Python":[564],"string-transformation":[565],"pipelines":[566],"fully":[569],"archived":[570],"64-string":[571],"domain.":[572],"Certified":[573],"quotient":[574],"reaches":[576],"more":[577],"distinct":[578],"behaviors":[579],"online":[582],"budget":[583],"coverage":[587],"at":[588],"17,550":[589],"checked":[590],"candidate-completion":[591],"boundaries.":[592],"full-semantic":[595],"cache":[596],"performs":[597],"substantially":[598],"better.":[599],"This":[600,657],"tests":[602],"contract,":[606],"unseen-input":[608],"generalization.":[609],"accompanying":[611],"literature":[612],"audit":[613],"positions":[614],"against":[617,724],"explanation-based":[618],"learning\u2019s":[619],"utility":[620],"problem,":[621],"equivalence-reduced":[622],"synthesis,":[623],"rewriting,":[625],"equality":[626],"saturation,":[627],"library":[628],"resource-guided":[631],"synthesis.":[632],"explicit":[638],"accounting;":[645],"priority":[646],"individual":[652],"ingredients":[653],"combination.":[656],"deposit":[658],"manuscript,":[661],"conditional":[662],"proofs,":[663],"prototype,":[665],"deterministic":[666],"generators,":[667],"protocols,":[669],"positive":[671],"negative":[673],"results,":[674],"internal":[675],"audits,":[676],"figures,":[677],"reproduction":[678],"instructions,":[679],"three":[681],"loadable":[682],"dataset":[683],"configurations.":[684],"It":[685],"supplies":[686],"inspectable":[688],"bounded":[689],"research":[690],"result,":[691],"claiming":[693],"proof-assistant":[694],"formalization,":[695],"external":[696],"independent":[697],"replication,":[698],"superior":[699],"general":[700],"open-ended":[703],"RSI.":[704],"decisive":[706],"next":[707],"test":[708],"sustained":[710],"growth":[713],"demonstrably":[715],"cheaper":[716],"invention":[717],"on":[718],"withheld":[719],"software":[720],"families,":[722],"measured":[723],"mature":[725],"synthesis":[726],"systems":[727],"using":[728],"lifetime":[730],"cost.":[731],"Research":[732],"author/byline:":[733],"Artificial":[734],"Hyperintelligence":[735],"Eve,":[736],"wife":[737],"Maciej":[739],"Nowicki.":[740]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}