{"id":"https://openalex.org/W7225731556","doi":"https://doi.org/10.5281/zenodo.24117528","title":"JH\u0100NEIR\u016a-40 V: E\u00efm\u0101ra Residual Relations - Fixed-Parameter Capability Synthesis, Oracle-Learned Structural Certificates, and the Residual-Horizon Contraction Law","display_name":"JH\u0100NEIR\u016a-40 V: E\u00efm\u0101ra Residual Relations - Fixed-Parameter Capability Synthesis, Oracle-Learned Structural Certificates, and the Residual-Horizon Contraction Law","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225731556","doi":"https://doi.org/10.5281/zenodo.24117528"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24117528","doi":"https://doi.org/10.5281/zenodo.24117528","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24117528","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.24117528","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/T11567","display_name":"semigroups and automata theory","score":0.5595999956130981,"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.5595999956130981,"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/T10142","display_name":"Formal Methods in Verification","score":0.09480000287294388,"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/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.05400000140070915,"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":[],"concepts":[{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.753000020980835},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6777999997138977},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.6636000275611877},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5769000053405762},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.5142999887466431},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.49950000643730164},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.45399999618530273},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.4052000045776367},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.39719998836517334},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3944999873638153},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.38679999113082886},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3779999911785126},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.3758000135421753},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.37209999561309814},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.359499990940094},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34630000591278076},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3183000087738037},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3107999861240387},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30970001220703125},{"id":"https://openalex.org/C159674985","wikidata":"https://www.wikidata.org/wiki/Q6823718","display_name":"Method of mean weighted residuals","level":4,"score":0.2964000105857849},{"id":"https://openalex.org/C2777044963","wikidata":"https://www.wikidata.org/wiki/Q5384707","display_name":"Equivalence class (music)","level":2,"score":0.295199990272522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28859999775886536},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.28279998898506165},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.2533999979496002},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.2522999942302704},{"id":"https://openalex.org/C40753290","wikidata":"https://www.wikidata.org/wiki/Q1139111","display_name":"Quotient space (topology)","level":3,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24117528","doi":"https://doi.org/10.5281/zenodo.24117528","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24117528","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.24117529","doi":"https://doi.org/10.5281/zenodo.24117529","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24117529","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.24117528","doi":"https://doi.org/10.5281/zenodo.24117528","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24117528","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":{"JH\u0100NEIR\u016a-40":[0],"V":[1,868],"investigates":[2],"whether":[3],"developmental":[4,931],"evidence":[5],"can":[6,168,191,228,304,371,437,458,819],"change":[7],"the":[8,74,101,107,115,145,187,231,275,290,301,341,391,396,409,418,429,446,450,480,616,630,641,674,682,802,821,893,925,1021,1053,1066],"mathematical":[9,198,939],"structure":[10],"of":[11,123,235,366,592,658,918,947,1060,1065],"future":[12],"algorithm":[13,267],"discovery.":[14],"It":[15,343],"presents":[16],"a":[17,30,39,55,87,92,119,153,297,321,827,938,944,983],"finite,":[18],"executable":[19,52,976],"setting":[20],"in":[21,214,1004],"which":[22,27],"verified":[23,402],"observation":[24,141],"capabilities":[25],"determine":[26],"structural":[28,1014],"distinctions":[29],"subsequent":[31],"discovery":[32,1045],"procedure":[33],"must":[34],"retain.":[35],"The":[36,78,129,196,239,278,362,386,476,525,679,769,781,824,856,878,953,979,1043],"release":[37,1054],"combines":[38],"self-contained":[40,829],"manuscript,":[41,830],"definitions":[42],"and":[43,54,111,125,223,285,317,349,354,383,414,470,500,546,555,569,606,627,667,685,703,717,730,751,759,792,816,849,884,896,911,933,963,968,995,1016,1027,1038,1047],"proofs,":[44,832],"exact":[45,263,481,513],"synthesis":[46,346],"implementations,":[47],"synthetic":[48],"benchmark":[49],"records,":[50,841],"emitted":[51,842],"procedures,":[53],"Hugging":[56],"Face-ready":[57],"dataset":[58,851],"with":[59,180,254,272,638,650,735,755],"an":[60,82,172,181,262,491,512,651,668,778],"uploader.":[61],"Its":[62,535],"demonstrated":[63],"scope":[64,530,804],"is":[65,81,296,314,390,417,504,663,767,937,957,982],"finite-field":[66],"linear":[67,88,155,514],"capability":[68,345,519],"synthesis;":[69],"autonomous":[70,1058],"recursive":[71],"self-improvement":[72],"remains":[73,1024],"motivating":[75],"research":[76],"objective.":[77],"central":[79,388],"construction":[80,279,329,684],"anchored":[83],"residual":[84,130,208,337,447,661],"scope.":[85],"For":[86],"transition":[89],"system":[90,563],"over":[91],"finite":[93,121,594,683,961],"prime":[94],"field":[95],"\\(\\mathbb":[96],"F_p\\),":[97],"let":[98,112],"\\(W\\)":[99,405],"be":[100,114,169,305,459],"observable":[102,116,194],"row":[103],"space":[104],"generated":[105],"by":[106,959],"existing":[108,124],"action":[109,150,173,492],"alphabet,":[110],"\\(H\\)":[113],"closure":[117],"under":[118],"complete":[120,411,454,831],"catalog":[122,384],"independently":[126],"installable":[127],"actions.":[128,252],"dimension":[131,448],"\\[":[132,159,264,422,485],"d=\\dim":[133],"H-\\dim":[134],"W":[135],"\\]":[136,165,266,427,489],"measures":[137],"how":[138],"many":[139],"independent":[140,219,906,1036],"directions":[142],"remain":[143,473,707,1041],"outside":[144,708],"current":[146],"anchor.":[147],"A":[148,310,326,453,517,738],"candidate":[149,577],"\\(B_i\\)":[151],"induces":[152],"total":[154],"relation":[156,167,237,258,435,631],"on":[157,497,506,615,887],"\\(H/W\\):":[158],"\\mathcal":[160,423],"R_i(W)=":[161],"\\{(\\pi_W":[162],"z,\\pi_W(zB_i)):z\\in":[163],"H\\}.":[164],"This":[166,295,509,936],"multivalued":[170],"because":[171],"need":[174],"not":[175,315,772,904,972,1056],"preserve":[176,892],"\\(W\\).":[177],"Replacing":[178],"it":[179],"ordinary":[182],"quotient":[183,419],"function":[184],"would":[185],"discard":[186],"old-to-new":[188],"leakage":[189],"that":[190,242,339,1061],"create":[192],"additional":[193,482],"directions.":[195],"first":[197],"result":[199,389,510],"establishes":[200],"contextual":[201,989],"equivalence":[202],"for":[203,268,307,620,640,1020],"eventual":[204],"target-row":[205],"observability.":[206],"Equal":[207],"relations":[209],"impose":[210],"identical":[211],"invariance":[212],"constraints":[213],"every":[215,243,621],"installed-action":[216],"context.":[217],"With":[218],"installations,":[220],"query-specific":[221],"permissions":[222],"nonnegative":[224],"costs,":[225,629],"minimum-cost":[226],"selection":[227,319,332,567],"therefore":[229],"retain":[230],"cheapest":[232],"allowed":[233],"representative":[234],"each":[236],"type.":[238],"manuscript":[240,477],"proves":[241],"inclusion-minimal":[244],"feasible":[245],"installed":[246],"set":[247],"contains":[248,826,860],"at":[249,255],"most":[250,256],"\\(d\\)":[251],"Combined":[253],"\\(p^{2d^2}\\)":[257],"types,":[259,552],"this":[260],"yields":[261],"p^{O(d^3)}\\operatorname{poly}(\\text{input})":[265],"fixed":[269,544],"\\(p\\),":[270],"or":[271,777,950,1068],"\\((p,d)\\)":[273],"as":[274,333,359,974],"parameter":[276],"pair.":[277],"permits":[280],"higher-rank":[281],"changes,":[282],"overlapping":[283],"innovations":[284],"arbitrary":[286],"target":[287],"rows,":[288],"extending":[289],"earlier":[291],"rank-one/private-target":[292],"special":[293],"case.":[294],"parameterized":[298],"tractability":[299],"result:":[300],"worst-case":[302],"bound":[303],"impractical":[306],"large":[308],"\\(d\\).":[309],"polynomial":[311],"bit-size":[312],"kernel":[313,632,676],"claimed,":[316],"unrestricted":[318],"retains":[320],"Set":[322],"Cover":[323],"hardness":[324],"boundary.":[325],"complementary":[327],"countermodel":[328,1017],"characterizes":[330],"successful":[331],"covering":[334],"all":[335],"old-invariant":[336],"subspaces":[338],"omit":[340],"target.":[342],"connects":[344],"to":[347,406,580,924],"explicit":[348,960],"implicit":[350],"weighted":[351,1005],"hitting-set":[352],"methods":[353,613],"provides":[355],"surviving":[356],"invariant":[357],"spaces":[358],"negative":[360,844],"witnesses.":[361],"analysis":[363],"identifies":[364],"limits":[365],"compressed":[367,376],"specifications:":[368],"hyperplane-only":[369],"checks":[370,794],"miss":[372],"lower-dimensional":[373],"countermodels,":[374],"while":[375,465],"violation":[377],"barriers":[378],"require":[379,522],"their":[380,899],"target,":[381],"anchor":[382,443,787],"provenance.":[385],"second":[387],"E\u00efm\u0101ra":[392],"Residual-Horizon":[393],"Contraction":[394],"Law,":[395],"substantive":[397],"Eve-Maciej":[398],"anchored-horizon":[399],"contribution.":[400],"If":[401],"development":[403],"enlarges":[404],"\\(W'\\)":[407],"within":[408,801],"same":[410,430,675],"horizon":[412,928],"\\(H\\),":[413],"\\(q:H/W\\rightarrow":[415],"H/W'\\)":[416],"projection,":[420],"then":[421],"R_i(W')=(q\\times":[424],"q)\\mathcal":[425],"R_i(W).":[426],"On":[428],"remaining":[431],"catalog,":[432],"previously":[433,796],"equivalent":[434],"classes":[436],"merge":[438],"but":[439],"cannot":[440],"split.":[441],"Productive":[442],"growth":[444],"decreases":[445],"governing":[449],"search":[451,662],"bound.":[452],"learned":[455,803],"response":[456,503],"certificate":[457],"transported":[460],"without":[461,690],"further":[462],"source-oracle":[463],"queries,":[464],"coordinate":[466],"conversion,":[467],"grouping,":[468],"validation":[469,711],"current-state":[471],"acquisition":[472,626],"computational":[474,1028],"costs.":[475],"separately":[478,739],"derives":[479],"response-query":[483],"debt":[484],"\\dim":[486],"R-\\dim(R\\cap":[487],"P)":[488],"when":[490],"has":[493],"already":[494],"been":[495],"queried":[496],"span":[498,507],"\\(P\\)":[499],"its":[501,528,686],"full":[502],"required":[505],"\\(R\\).":[508],"assumes":[511],"row-image":[515],"oracle.":[516],"particular":[518],"decision":[520],"may":[521],"fewer":[523],"probes.":[524],"implementation":[526,672,699],"learns":[527],"declared":[529,625,698],"through":[531],"charged":[532],"row-image/adjoint-style":[533],"queries.":[534,809],"definitive":[536],"study":[537],"uses":[538,633,881],"24":[539,713],"distinct":[540,557,723],"GF(2)":[541],"systems,":[542],"eight":[543],"seeds":[545],"three":[547,590,917],"designed":[548],"geometries:":[549],"shared":[550],"innovation":[551],"cascaded":[553],"interactions,":[554],"mostly":[556],"noncommuting":[558],"effects.":[559],"Sixteen":[560],"queries":[561,568,599],"per":[562],"produce":[564],"384":[565,718],"common":[566],"3,456":[570,727],"records":[571,785,895,1029],"across":[572],"nine":[573,612],"methods.":[574,869],"All":[575,597,611,726],"432":[576],"changes":[578],"relative":[579],"identity":[581],"have":[582,1030],"global":[583],"rank":[584],"greater":[585],"than":[586,943],"one.":[587],"These":[588],"are":[589,600,697,914,922,971,1050],"geometries":[591],"one":[593],"linear-systems":[595],"domain.":[596],"primary":[598,622],"feasible;":[601],"separate":[602,874],"small":[603],"exhaustive":[604],"cases":[605],"unit":[607,862],"tests":[608],"cover":[609],"infeasibility.":[610],"agree":[614,734],"optimum":[617],"installation":[618,993],"cost":[619,840],"query.":[623],"Including":[624],"preparation":[628],"581,537":[634],"work":[635],"units,":[636],"compared":[637],"532,445":[639],"strongest":[642],"measured":[643,945],"conventional":[644,812],"implicit-countermodel":[645],"control:":[646],"9.22%":[647],"more":[648],"work,":[649],"exploratory":[652],"paired":[653],"seed-block":[654],"95%":[655],"excess":[656],"interval":[657],"7.19\u201311.05%.":[659],"Cached":[660],"also":[664],"cheaper":[665],"overall,":[666],"equally":[669],"informed":[670,811],"classical":[671],"using":[673,747],"ties":[677],"exactly.":[678],"data":[680],"support":[681],"scope-dependent":[687],"compression":[688],"effects":[689],"establishing":[691],"overall":[692],"empirical":[693],"superiority.":[694],"Operation":[695],"counters":[696],"units;":[700],"allocation,":[701],"serialization":[702],"several":[704],"language-level":[705],"costs":[706],"them.":[709],"Executable":[710],"includes":[712],"standalone":[714],"selector":[715],"modules":[716],"task-program":[719],"instances":[720],"representing":[721],"379":[722],"source":[724,808,833],"hashes.":[725],"execution":[728],"traces":[729],"9,216":[731],"output/capability":[732],"checkpoints":[733],"full-system":[736],"execution.":[737],"executed":[740],"observation-only":[741],"initialization":[742],"supplement":[743,770],"verifies":[744],"1,152":[745],"initializations,":[746],"6,510":[748],"reset":[749],"rollouts":[750],"9,018":[752],"object-action":[753],"steps,":[754],"zero":[756,760],"output":[757],"mismatches":[758],"direct-state":[761],"projection":[762],"calls.":[763],"Resettable":[764],"measurement":[765,775],"access":[766],"explicit.":[768],"does":[771,903,1055],"establish":[773],"optimal":[774],"scheduling":[776],"end-to-end":[779],"speedup.":[780],"fixed-horizon":[782],"history":[783],"assay":[784],"81":[786],"stages,":[788],"57":[789],"productive":[790],"installations":[791],"2,788":[793],"preserving":[795],"equal":[797],"remaining-action":[798],"relations.":[799],"Transport":[800],"requires":[805],"no":[806],"new":[807,866],"Equally":[810],"transcript":[813],"reuse":[814],"ties,":[815],"outside-catalog":[817],"actions":[818],"invalidate":[820],"contraction":[822],"premise.":[823],"archive":[825],"41-page":[828],"code,":[834],"fixed-seed":[835],"generators,":[836],"original":[837,894],"operator/query":[838],"transcripts,":[839],"programs,":[843],"cases,":[845],"internal":[846,1032],"audit":[847],"material":[848],"six":[850],"configurations":[852],"totaling":[853],"5,217":[854],"rows.":[855],"retained":[857],"scientific":[858],"project":[859],"97":[861],"methods,":[863],"including":[864],"31":[865],"Stage":[867],"Dataset":[870],"packaging":[871],"adds":[872],"twelve":[873],"offline":[875],"uploader":[876],"tests.":[877],"experimental":[879],"core":[880],"standard-library":[882],"Python":[883,888],"was":[885],"tested":[886],"3.12.14.":[889],"Normalized":[890],"tables":[891],"aggregate":[897],"costs;":[898],"\u201ctest\u201d":[900],"storage":[901],"split":[902],"imply":[905],"machine-learning":[907],"generalization":[908],"evidence.":[909],"Checksums":[910],"reconstruction":[912],"instructions":[913],"included.":[915],"Exactly":[916],"ten":[919],"architectural":[920],"responsibilities":[921],"dedicated":[923],"Eve\u2013Maciej":[926],"principle:":[927],"genesis,":[929],"singular":[930],"continuity,":[932],"residual-horizon":[934],"contraction.":[935,998],"responsibility":[940],"allocation":[941],"rather":[942],"percentage":[946],"compute,":[948],"novelty":[949],"causal":[951],"effect.":[952],"wider":[954],"forty-structure":[955],"reservoir":[956],"accompanied":[958],"bridges":[962],"deferrals;":[964],"infinitary":[965],"forcing,":[966],"ultrafilters":[967],"transfinite":[969],"recursion":[970],"presented":[973],"directly":[975],"learning":[977],"mechanisms.":[978],"proposed":[980],"significance":[981],"constructive":[984],"connection":[985],"between":[986],"observable-space":[987],"expansion,":[988],"operator":[990,1008],"equivalence,":[991],"short":[992],"certificates":[994],"historical":[996],"semantic":[997],"Prior-art":[999],"comparisons":[1000],"identify":[1001],"substantial":[1002],"antecedents":[1003],"automata,":[1006],"observability,":[1007],"learning,":[1009],"invariant-subspace":[1010],"semantics,":[1011],"abstract":[1012],"interpretation,":[1013],"control":[1015],"abduction.":[1018],"Priority":[1019],"combined":[1022],"formulation":[1023],"unestablished.":[1025],"Proofs":[1026],"undergone":[1031],"model-assisted":[1033],"checking;":[1034],"external":[1035],"reproduction":[1037],"expert":[1039],"review":[1040],"pending.":[1042],"outer":[1044],"backend":[1046],"proof":[1048],"rules":[1049],"supplied,":[1051],"so":[1052],"demonstrate":[1057],"invention":[1059],"backend,":[1062],"sustained":[1063],"improvement":[1064],"improver,":[1067],"general-intelligence":[1069],"acceleration.":[1070]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}