{"id":"https://openalex.org/W7164877645","doi":"https://doi.org/10.48550/arxiv.2606.16985","title":"Dynestyx: A Probabilistic Programming Library for Dynamical Systems","display_name":"Dynestyx: A Probabilistic Programming Library for Dynamical Systems","publication_year":2026,"publication_date":"2026-06-15","ids":{"openalex":"https://openalex.org/W7164877645","doi":"https://doi.org/10.48550/arxiv.2606.16985"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.16985","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16985","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":"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.16985","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037977097","display_name":"Daniel Waxman","orcid":"https://orcid.org/0009-0004-0168-5547"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Waxman, Daniel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056879060","display_name":"Dmitry Batenkov","orcid":"https://orcid.org/0000-0003-2679-0138"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Batenkov, Dmitry","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020504399","display_name":"John Feser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feser, John","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138717214","display_name":"Andy Zane","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zane, Andy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078914058","display_name":"Eli Bingham","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bingham, Eli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138742084","display_name":"Youssef Marzouk","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marzouk, Youssef","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5042719367","display_name":"Matthew E. Levine","orcid":"https://orcid.org/0000-0002-5627-3169"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Levine, Matthew E.","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/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.4424000084400177,"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"}},"topics":[{"id":"https://openalex.org/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.4424000084400177,"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"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.10790000110864639,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.05460000038146973,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.7465000152587891},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.6847000122070312},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5703999996185303},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.450300008058548},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.43140000104904175},{"id":"https://openalex.org/keywords/prior-probability","display_name":"Prior probability","score":0.4106999933719635},{"id":"https://openalex.org/keywords/probabilistic-relevance-model","display_name":"Probabilistic relevance model","score":0.3962000012397766},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.3950999975204468}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7465000152587891},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.6847000122070312},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.652999997138977},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5703999996185303},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.453000009059906},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.450300008058548},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4343999922275543},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.43140000104904175},{"id":"https://openalex.org/C177769412","wikidata":"https://www.wikidata.org/wiki/Q278090","display_name":"Prior probability","level":3,"score":0.4106999933719635},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.3962000012397766},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.3950999975204468},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.387800008058548},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.3874000012874603},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.3813000023365021},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.3587000072002411},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.3499999940395355},{"id":"https://openalex.org/C127043819","wikidata":"https://www.wikidata.org/wiki/Q16243608","display_name":"Bayesian programming","level":5,"score":0.34290000796318054},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3391000032424927},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.32170000672340393},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3012000024318695},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.2953000068664551},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C155846161","wikidata":"https://www.wikidata.org/wiki/Q1143367","display_name":"Graphical model","level":2,"score":0.25279998779296875},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.25220000743865967}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.16985","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16985","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.16985","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16985","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":"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"State-space":[0],"models":[1],"(SSMs)":[2],"are":[3],"the":[4,56,75],"standard":[5],"formalism":[6],"for":[7,69,92],"Bayesian":[8],"treatment":[9],"of":[10,77],"dynamical":[11,31,96],"systems,":[12,97],"with":[13,66,109],"natural":[14],"applications":[15],"in":[16,26,38,54,74],"statistics,":[17],"signal":[18],"processing,":[19],"and":[20,29,51,80,103,106],"machine":[21],"learning.":[22],"Despite":[23],"their":[24],"importance":[25],"both":[27,78],"theory":[28],"application,":[30],"systems":[32],"have":[33],"proven":[34],"difficult":[35],"to":[36,49],"incorporate":[37],"modern":[39],"probabilistic":[40,63],"programming":[41,64],"languages":[42],"(PPLs),":[43],"making":[44],"state-of-the-art":[45,72],"methods":[46,73],"less":[47],"accessible":[48],"practitioners":[50],"introducing":[52],"friction":[53],"following":[55],"\"Bayesian":[57],"workflow.\"":[58],"We":[59],"introduce":[60],"dynestyx,":[61],"a":[62,83],"library":[65],"first-class":[67],"support":[68],"SSMs,":[70],"including":[71],"estimation":[76],"states":[79],"parameters.":[81],"Through":[82],"single,":[84],"unified":[85],"interface,":[86],"users":[87],"may":[88],"specify":[89],"arbitrary":[90],"priors":[91],"discrete-time":[93],"or":[94],"continuous-time":[95],"perform":[98],"inference":[99],"over":[100],"mixed-effect":[101],"data,":[102],"make":[104],"state":[105],"parameter":[107],"estimates":[108],"principled":[110],"uncertainty":[111],"quantification.":[112]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-17T00:00:00"}