{"id":"https://openalex.org/W7163913134","doi":"https://doi.org/10.48550/arxiv.2606.07426","title":"Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus","display_name":"Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus","publication_year":2026,"publication_date":"2026-06-05","ids":{"openalex":"https://openalex.org/W7163913134","doi":"https://doi.org/10.48550/arxiv.2606.07426"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.07426","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.07426","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.07426","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138154929","display_name":"Hanqiao Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yu, Hanqiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138159658","display_name":"Shusen Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Shusen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138159956","display_name":"Xuebin Ren","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ren, Xuebin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5041996845","display_name":"Cong Zhao","orcid":"https://orcid.org/0000-0001-7722-6401"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Cong","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.5005000233650208,"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.5005000233650208,"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/T10857","display_name":"Advanced Electron Microscopy Techniques and Applications","score":0.05590000003576279,"subfield":{"id":"https://openalex.org/subfields/1315","display_name":"Structural Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.021900000050663948,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.6101999878883362},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.374099999666214},{"id":"https://openalex.org/keywords/decoupling","display_name":"Decoupling (probability)","score":0.3637999892234802},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.31869998574256897},{"id":"https://openalex.org/keywords/multiscale-modeling","display_name":"Multiscale modeling","score":0.29820001125335693},{"id":"https://openalex.org/keywords/complex-network","display_name":"Complex network","score":0.2903999984264374},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.2833000123500824}],"concepts":[{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.6101999878883362},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5637999773025513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5146999955177307},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40389999747276306},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.374099999666214},{"id":"https://openalex.org/C205606062","wikidata":"https://www.wikidata.org/wiki/Q5249645","display_name":"Decoupling (probability)","level":2,"score":0.3637999892234802},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34360000491142273},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.31869998574256897},{"id":"https://openalex.org/C141123601","wikidata":"https://www.wikidata.org/wiki/Q6935072","display_name":"Multiscale modeling","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C34947359","wikidata":"https://www.wikidata.org/wiki/Q665189","display_name":"Complex network","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28630000352859497},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2802000045776367},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.2784999907016754},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C2984917352","wikidata":"https://www.wikidata.org/wiki/Q12772819","display_name":"Scientific discovery","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C160920958","wikidata":"https://www.wikidata.org/wiki/Q7662746","display_name":"Synthetic data","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.07426","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.07426","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.07426","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.07426","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[{"id":"https://metadata.un.org/sdg/7","score":0.6460163593292236,"display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0],"fundamental":[1],"problem":[2],"in":[3,12,28,34,38],"science":[4],"is":[5,75,85],"identifying":[6,35],"underlying":[7],"patterns":[8],"of":[9,15,67],"complex":[10,40,63,117],"systems":[11,118],"the":[13,130],"form":[14],"concise":[16],"mathematical":[17],"formulas.":[18,83],"Current":[19],"Artificial":[20],"Intelligence":[21],"(AI)-based":[22],"methods":[23,132],"have":[24],"shown":[25],"strong":[26],"performance":[27],"single-scale":[29],"systems,":[30],"yet":[31],"remain":[32],"limited":[33],"scale-specific":[36],"formulas":[37,53],"multiscale":[39,52,111,136],"systems.":[41,64],"We":[42],"present":[43],"Deflex,":[44],"an":[45],"end-to-end":[46],"AI":[47],"method":[48],"to":[49,101,125],"automatically":[50],"extract":[51],"with":[54,119],"potentially":[55],"different":[56],"forms,":[57],"including":[58],"invariants":[59],"and":[60,72],"distributions,":[61],"from":[62],"Deflex":[65,122],"consists":[66],"two":[68],"subsystems":[69],"named":[70],"Deflexformer":[71,84],"Deflexpressor.":[73],"Deflexpressor":[74,97],"a":[76,86,142],"lambda-calculus":[77],"symbolic":[78],"regression":[79],"model":[80,90],"for":[81,91,145],"higher-order":[82],"decomposable":[87],"deep":[88],"energy":[89],"learning":[92],"unified":[93],"representations":[94],"across":[95,148],"scales.":[96],"generates":[98],"synthetic":[99],"data":[100],"pre-train":[102],"Deflexformer,":[103],"which":[104],"then":[105],"guides":[106],"formula":[107],"discovery":[108,147],"by":[109],"decoupling":[110],"latent":[112],"relationships.":[113],"Across":[114],"six":[115],"representative":[116],"diverse":[120],"behaviors,":[121],"achieves":[123],"up":[124],"7-fold":[126],"higher":[127],"efficiency":[128],"than":[129],"state-of-the-art":[131],"while":[133],"enabling":[134],"automated":[135],"discovery.":[137],"Our":[138],"work":[139],"could":[140],"be":[141],"useful":[143],"tool":[144],"scientific":[146],"disciplines.":[149]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-09T00:00:00"}