{"id":"https://openalex.org/W7214635787","doi":"https://doi.org/10.48550/arxiv.2609.31368","title":"Equation discovery with Bayesian tree-adjoining grammars","display_name":"Equation discovery with Bayesian tree-adjoining grammars","publication_year":2026,"publication_date":"2026-09-25","ids":{"openalex":"https://openalex.org/W7214635787","doi":"https://doi.org/10.48550/arxiv.2609.31368"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.31368","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.31368","pdf_url":"https://arxiv.org/pdf/2609.31368","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.31368","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050361642","display_name":"C. A. LINDLEY","orcid":"https://orcid.org/0000-0001-8062-841X","observed_orcids":["https://orcid.org/0000-0001-8062-841X"]},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lindley, Christopher A.","raw_affiliation_strings":["Dynamics Research Group University of Sheffield Mappin St , Sheffield , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dynamics Research Group University of Sheffield Mappin St , Sheffield , UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013990293","display_name":"Nikolaos Dervilis","orcid":"https://orcid.org/0000-0002-5712-7323","observed_orcids":["https://orcid.org/0000-0002-5712-7323"]},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dervilis, Nikolaos","raw_affiliation_strings":["Dynamics Research Group University of Sheffield Mappin St , Sheffield , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dynamics Research Group University of Sheffield Mappin St , Sheffield , UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017996489","display_name":"Keith Worden","orcid":"https://orcid.org/0000-0002-1035-238X","observed_orcids":["https://orcid.org/0000-0002-1035-238X"]},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Worden, Keith","raw_affiliation_strings":["Dynamics Research Group University of Sheffield Mappin St , Sheffield , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dynamics Research Group University of Sheffield Mappin St , Sheffield , UK","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11236","display_name":"Control Systems and Identification","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11236","display_name":"Control Systems and Identification","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T11206","display_name":"Model Reduction and Neural Networks","score":0.0017000000225380063,"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"}},{"id":"https://openalex.org/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.0012000000569969416,"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/equation-discovery","display_name":"equation discovery","score":0.8510000109672546},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"tree adjoining grammars","score":0.9919999837875366},{"id":"https://openalex.org/keywords/nonlinear-system-identification","display_name":"nonlinear system identification","score":0.8489999771118164},{"id":"https://openalex.org/keywords/reversible-jump-mcmc","display_name":"reversible jump MCMC","score":0.9620000123977661},{"id":"https://openalex.org/keywords/simulation-based-inference","display_name":"simulation-based inference","score":0.906000018119812},{"id":"https://openalex.org/keywords/morison-equation","display_name":"Morison equation","score":0.8840000033378601},{"id":"https://openalex.org/keywords/wave-loads","display_name":"wave loads","score":0.6959999799728394},{"id":"https://openalex.org/keywords/physics-informed-models","display_name":"physics-informed models","score":0.7519999742507935},{"id":"https://openalex.org/keywords/uncertainty-quantification","display_name":"uncertainty quantification","score":0.859000027179718},{"id":"https://openalex.org/keywords/grey-box-modeling","display_name":"grey-box modeling","score":0.5979999899864197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6122000217437744},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.5182999968528748},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.505299985408783},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4462999999523163},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4318000078201294},{"id":"https://openalex.org/C111350023","wikidata":"https://www.wikidata.org/wiki/Q1191869","display_name":"Markov chain Monte Carlo","level":3,"score":0.42640000581741333},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.4205999970436096},{"id":"https://openalex.org/C167966045","wikidata":"https://www.wikidata.org/wiki/Q5532625","display_name":"Generative model","level":3,"score":0.4138000011444092},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39250001311302185},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3865000009536743},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3479999899864197},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.34779998660087585},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3400000035762787},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.33959999680519104},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.3346000015735626},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.33180001378059387},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3280999958515167},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C57830394","wikidata":"https://www.wikidata.org/wiki/Q278079","display_name":"Posterior probability","level":3,"score":0.31349998712539673},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.29440000653266907},{"id":"https://openalex.org/C119247159","wikidata":"https://www.wikidata.org/wiki/Q1366192","display_name":"System identification","level":3,"score":0.29420000314712524},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C23224414","wikidata":"https://www.wikidata.org/wiki/Q176769","display_name":"Hidden Markov model","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C159877910","wikidata":"https://www.wikidata.org/wiki/Q2202883","display_name":"Autoregressive model","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C149569020","wikidata":"https://www.wikidata.org/wiki/Q25098598","display_name":"Bayesian average","level":5,"score":0.26409998536109924},{"id":"https://openalex.org/C158424031","wikidata":"https://www.wikidata.org/wiki/Q1191905","display_name":"Gibbs sampling","level":3,"score":0.2513999938964844}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.31368","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.31368","pdf_url":"https://arxiv.org/pdf/2609.31368","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.31368","doi":"https://doi.org/10.48550/arxiv.2609.31368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.31368","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.31368","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.31368","pdf_url":"https://arxiv.org/pdf/2609.31368","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1911911485","display_name":"New Ways Forward for Nonlinear Structural Dynamics","funder_award_id":"EP/X040852/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214635787.pdf","grobid_xml":"https://content.openalex.org/works/W7214635787.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7169581667","https://openalex.org/W7221804762","https://openalex.org/W3000066711","https://openalex.org/W3120631277","https://openalex.org/W1969288049","https://openalex.org/W4205814176","https://openalex.org/W3110778771","https://openalex.org/W2789562737","https://openalex.org/W4406023398","https://openalex.org/W2971834883"],"abstract_inverted_index":{"Tree-Adjoining":[0],"Grammars":[1],"(TAGs)":[2],"have":[3],"recently":[4],"been":[5],"introduced":[6],"to":[7,84,165,175],"Nonlinear":[8],"System":[9],"Identification":[10],"(NLSI)":[11],"as":[12,21,34,142],"a":[13,22,59,74,102,110,122,143,148],"means":[14],"of":[15,25,47],"encoding":[16],"an":[17],"entire":[18],"model":[19,49,90,150],"class":[20],"finite":[23],"set":[24],"grammatical":[26],"rules,":[27],"from":[28,133],"which":[29],"candidate":[30],"models":[31],"are":[32,98,162],"assembled":[33],"trees.":[35],"Existing":[36],"TAG-based":[37],"identifiers":[38],"rely":[39],"on":[40,121],"evolutionary":[41],"optimisation":[42],"and":[43,70,73,93,109,130,174],"return":[44],"point":[45],"estimates":[46],"the":[48,55,86,127,134,153],"structure.":[50],"This":[51],"paper":[52],"instead":[53],"proposes":[54],"TAG":[56],"framework":[57],"within":[58],"Bayesian":[60,160],"setting.":[61],"A":[62],"generative":[63],"prior":[64],"is":[65,82,119],"defined":[66],"over":[67,89],"tree":[68,80,146],"structures":[69],"their":[71],"parameters,":[72],"Reversible-Jump":[75],"MCMC":[76],"sampler":[77],"with":[78,105],"structure-preserving":[79],"moves":[81],"used":[83],"infer":[85],"joint":[87],"posterior":[88],"structure,":[91],"parameters":[92],"predictions.":[94],"Two":[95],"training":[96],"objectives":[97],"considered;":[99],"that":[100,151,159],"is,":[101],"one-step-ahead":[103],"objective":[104,112],"conjugate":[106],"parameter":[107],"proposals,":[108],"simulation-based":[111],"handled":[113],"by":[114],"likelihood-free":[115],"inference.":[116],"The":[117,156],"approach":[118],"validated":[120],"simulated":[123],"polynomial":[124],"NARX":[125],"system,":[126],"Silverbox":[128],"benchmark,":[129],"wave-loading":[131],"data":[132],"Christchurch":[135],"Bay":[136],"Tower,":[137],"where":[138],"embedding":[139],"Morison's":[140],"equation":[141,169],"fixed":[144],"initial":[145],"yields":[147],"grey-box":[149],"outperforms":[152],"physics-driven":[154],"baseline.":[155],"results":[157],"demonstrate":[158],"TAGs":[161],"well":[163],"suited":[164],"quantifying":[166],"uncertainty":[167],"in":[168],"discovery":[170],"for":[171],"dynamical":[172],"systems":[173],"fitting":[176],"physics-informed":[177],"models.":[178]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-09-29T00:00:00"}