{"id":"https://openalex.org/W7225423870","doi":"https://doi.org/10.5281/zenodo.24013922","title":"Ilyr\u0101ven v3: Compiling the Cost of Improvement with Exact Policy Circuits","display_name":"Ilyr\u0101ven v3: Compiling the Cost of Improvement with Exact Policy Circuits","publication_year":2026,"publication_date":"2026-11-06","ids":{"openalex":"https://openalex.org/W7225423870","doi":"https://doi.org/10.5281/zenodo.24013922"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24013922","doi":"https://doi.org/10.5281/zenodo.24013922","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24013922","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.24013922","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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.2888000011444092,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.2888000011444092,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.2736999988555908,"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.09520000219345093,"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/recursive-self-improvement","display_name":"recursive self-improvement","score":0.8050000071525574},{"id":"https://openalex.org/keywords/policy-search","display_name":"policy search","score":0.3569999933242798},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.3370000123977661},{"id":"https://openalex.org/keywords/computational-economics","display_name":"computational economics","score":0.6110000014305115}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7052000164985657},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6883000135421753},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.6337000131607056},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5462999939918518},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5188000202178955},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4950000047683716},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.48910000920295715},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.45989999175071716},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.43560001254081726},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.43149998784065247},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.38830000162124634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37560001015663147},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.37229999899864197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3495999872684479},{"id":"https://openalex.org/C191172861","wikidata":"https://www.wikidata.org/wiki/Q7899321","display_name":"Upstream (networking)","level":2,"score":0.3402999937534332},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C25534917","wikidata":"https://www.wikidata.org/wiki/Q1326955","display_name":"Exact sequence","level":2,"score":0.326200008392334},{"id":"https://openalex.org/C207609745","wikidata":"https://www.wikidata.org/wiki/Q4944086","display_name":"Bootstrapping (finance)","level":2,"score":0.32100000977516174},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.30820000171661377},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.3070000112056732},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2833999991416931},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2732999920845032},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.2554999887943268},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24013922","doi":"https://doi.org/10.5281/zenodo.24013922","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24013922","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.24013923","doi":"https://doi.org/10.5281/zenodo.24013923","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24013923","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.24013922","doi":"https://doi.org/10.5281/zenodo.24013922","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24013922","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7098396699","https://openalex.org/W2556144668","https://openalex.org/W4376663960","https://openalex.org/W2954612197","https://openalex.org/W6912213246","https://openalex.org/W4412538621","https://openalex.org/W2345311431","https://openalex.org/W3185765651","https://openalex.org/W1588301697","https://openalex.org/W7225063555"],"abstract_inverted_index":{"Ilyr\u0101ven":[0],"v3":[1],"presents":[2],"an":[3,165],"exact":[4,47,166,181,225],"policy-cost":[5],"compilation":[6],"method":[7,128],"for":[8,102],"studying":[9],"the":[10,37,103,150,240,248,268],"computational":[11],"economics":[12],"of":[13,124,179,227],"recursive":[14],"self-improvement.":[15],"For":[16],"composition":[17,204],"plans":[18,148],"over":[19,239],"immutable":[20],"byte":[21],"transformations,":[22],"a":[23,109,169,185,216],"supplied":[24,263],"compiler":[25,261],"represents":[26],"candidate":[27],"policies":[28,142],"through":[29],"activation":[30],"masks":[31],"and":[32,41,53,70,86,116,143,177,208,215,264],"native-cost":[33],"bit":[34],"planes.":[35],"Under":[36],"declared":[38],"immutable-table,":[39],"valid-cache,":[40],"no-eviction":[42],"contract,":[43,168],"this":[44],"representation":[45],"preserves":[46],"terminal":[48],"costs,":[49],"canonical":[50],"minimum":[51],"selection,":[52],"resulting":[54],"cache-key":[55,145],"states":[56],"without":[57,160,237],"constructing":[58],"every":[59],"candidate\u2019s":[60],"semantic":[61],"tables.":[62],"The":[63,92,162,188,221,260],"selected":[64],"policy\u2019s":[65],"actual":[66],"tables":[67],"are":[68,122],"materialized":[69],"their":[71],"construction":[72],"cost":[73],"is":[74,134,262],"included.":[75,119],"Frozen":[76],"experiments":[77,254],"cover":[78],"five":[79,87],"fresh":[80],"seeds,":[81],"four":[82],"rounds":[83],"per":[84,90],"seed,":[85],"timing":[88],"repetitions":[89],"method.":[91],"generated":[93],"circuit":[94],"takes":[95],"429.379":[96],"ms":[97,101],"compared":[98],"with":[99,112,201],"1,269.460":[100],"strongest":[104],"included":[105],"indexed,":[106],"early-pruned":[107],"control:":[108],"2.96\u00d7":[110],"speedup":[111],"method-specific":[113],"construction,":[114],"search,":[115],"winning-table":[117],"materialization":[118],"These":[120],"times":[121],"sums":[123],"per-seed":[125],"median":[126],"four-round":[127],"times;":[129],"common":[130],"upstream":[131],"source":[132,209],"capture":[133,244],"recorded":[135],"separately.":[136],"All":[137],"optimizer":[138],"methods":[139],"select":[140],"identical":[141],"committed":[144],"sets.":[146],"Selected":[147],"reduce":[149],"native":[151],"event":[152],"score":[153],"by":[154],"5.50%":[155],"relative":[156],"to":[157],"balanced":[158,235],"execution":[159,236],"search.":[161],"manuscript":[163],"derives":[164],"cost-and-cache":[167],"qualified":[170],"lower":[171],"bound":[172],"on":[173],"distinguishable":[174],"future-cost":[175],"states,":[176],"saturation":[178],"minimal":[180],"continuation":[182],"quotients":[183],"under":[184],"fixed":[186],"contract.":[187],"self-contained":[189],"release":[190],"includes":[191],"mathematical":[192],"proofs,":[193],"executable":[194],"reference":[195,199],"code,":[196],"320":[197],"solved":[198],"tasks":[200],"321":[202],"captured":[203,228],"requests,":[205],"frozen":[206],"protocols":[207],"hashes,":[210],"raw":[211],"results,":[212],"exactness":[213],"audits,":[214],"separate":[217],"local-mutation":[218],"negative":[219],"control.":[220],"demonstrated":[222],"gain":[223],"concerns":[224],"optimization":[226],"programs.":[229],"Optimization":[230],"remains":[231,265],"more":[232],"expensive":[233],"than":[234],"search":[238],"measured":[241],"workload.":[242],"Upstream":[243],"has":[245],"already":[246],"computed":[247],"requested":[249],"root":[250],"tables,":[251],"so":[252],"these":[253],"do":[255],"not":[256],"demonstrate":[257],"faster":[258],"synthesis.":[259],"unchanged":[266],"during":[267],"experiment.":[269]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-11-07T00:00:00"}