{"id":"https://openalex.org/W7163219347","doi":"https://doi.org/10.48550/arxiv.2606.01444","title":"Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence","display_name":"Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence","publication_year":2026,"publication_date":"2026-05-31","ids":{"openalex":"https://openalex.org/W7163219347","doi":"https://doi.org/10.48550/arxiv.2606.01444"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.01444","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.01444","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.01444","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5129687209","display_name":"Fiona Y. Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Fiona Y.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5011504360","display_name":"Markus J. Buehler","orcid":"https://orcid.org/0000-0002-4173-9659"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Buehler, Markus J.","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":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/T11948","display_name":"Machine Learning in Materials Science","score":0.4837999939918518,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.4837999939918518,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.16820000112056732,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.04969999939203262,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5216000080108643},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.4986000061035156},{"id":"https://openalex.org/keywords/scientific-discovery","display_name":"Scientific discovery","score":0.41499999165534973},{"id":"https://openalex.org/keywords/minimum-description-length","display_name":"Minimum description length","score":0.38589999079704285},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.33640000224113464},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.33009999990463257}],"concepts":[{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5299999713897705},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5216000080108643},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5164999961853027},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.4986000061035156},{"id":"https://openalex.org/C2984917352","wikidata":"https://www.wikidata.org/wiki/Q12772819","display_name":"Scientific discovery","level":2,"score":0.41499999165534973},{"id":"https://openalex.org/C87465248","wikidata":"https://www.wikidata.org/wiki/Q1417790","display_name":"Minimum description length","level":2,"score":0.38589999079704285},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3463999927043915},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C27362006","wikidata":"https://www.wikidata.org/wiki/Q272021","display_name":"Gestalt psychology","level":3,"score":0.29679998755455017},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26739999651908875},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.01444","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.01444","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.01444","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.01444","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.5183345079421997,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Scientific":[0],"discovery":[1,29,119,221,229],"is":[2,45,54,63,79,136],"not":[3],"only":[4,70],"answer":[5],"generation":[6],"but":[7],"revision":[8],"of":[9,27,57],"the":[10,42,55,95,104,125,144,208],"representational":[11],"regime":[12,36,83],"in":[13,127],"which":[14],"evidence,":[15],"artifacts,":[16,166],"operations,":[17],"and":[18,52,76,101,118,174,195,222],"verifiers":[19],"are":[20,74,91],"typed.":[21],"We":[22,123],"develop":[23],"a":[24,34,46,81,132,139,178,217],"category-theoretic":[25],"account":[26],"agentic":[28],"for":[30,220,226],"materials":[31],"science.":[32],"In":[33,130,162],"fixed":[35],"b":[37],"with":[38,103],"schema":[39],"category":[40,56,212],"S_b,":[41],"system":[43],"state":[44,106],"copresheaf":[47],"I_t:":[48],"S_b":[49,86],"->":[50,87],"Set,":[51],"provenance":[53],"elements":[58],"\\int_{S_b}":[59],"I_t.":[60],"Fixed-regime":[61],"operation":[62],"an":[64,190,196,203,223],"update":[65],"on":[66],"such":[67],"states,":[68],"endofunctorial":[69],"when":[71],"provenance-preserving":[72],"refinements":[73],"specified":[75],"preserved.":[77],"Discovery":[78],"instead":[80],"verified":[82],"transition":[84],"u:":[85],"S_b':":[88],"old":[89],"artifacts":[90],"preserved,":[92],"transported":[93],"by":[94,155],"left":[96],"Kan":[97],"extension":[98],"Lan_u":[99],"I_t,":[100],"compared":[102],"post-transition":[105],"to":[107],"identify":[108],"residual":[109],"content":[110],"beyond":[111],"functorial":[112],"transport.":[113],"This":[114],"separates":[115],"retrieval,":[116],"search,":[117],"without":[120],"subjective":[121],"novelty.":[122],"instantiate":[124],"framework":[126],"two":[128],"systems.":[129,230],"Builder/Breaker,":[131],"protein-mechanics":[133],"world":[134],"model":[135],"revised":[137],"under":[138],"Minimum":[140],"Description":[141],"Length":[142],"gate;":[143],"accepted":[145,197],"law":[146],"expresses":[147],"within-chain":[148],"flexibility":[149],"as":[150],"all-mode":[151],"elastic":[152],"compliance":[153],"conditioned":[154],"slow":[156],"collective-mode":[157],"participation,":[158],"or":[159],"mode-conditioned":[160],"compliance.":[161],"CategoryScienceClaw,":[163],"typed":[164],"skills,":[165],"open":[167],"needs,":[168],"workflow":[169],"mutation,":[170],"gates,":[171],"stress":[172],"tests,":[173,194],"public":[175],"discourse":[176],"become":[177],"proof-carrying":[179],"knowledge-computation":[180],"graph.":[181],"A":[182],"fiber-network":[183],"example":[184],"records":[185],"candidate":[186],"models,":[187],"rejected":[188],"alternatives,":[189],"AIC":[191],"gate,":[192],"perturbation":[193],"orientation-tensor":[198],"anisotropic":[199],"stiffness":[200],"surrogate":[201],"over":[202],"isotropic":[204],"fiber-count":[205],"descriptor.":[206],"Together,":[207],"cases":[209],"show":[210],"how":[211],"theory":[213],"can":[214],"be":[215],"both":[216],"mathematical":[218],"language":[219],"engineering":[224],"specification":[225],"self-revising":[227],"AI":[228]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-03T00:00:00"}