aiqbench analysis
Dynestyx addresses a critical gap in probabilistic programming by offering native support for state-space models (SSMs), which are foundational for Bayesian analysis of dynamical systems but historically difficult to implement. This library simplifies the workflow for estimating states and parameters across discrete or continuous-time domains, enabling more robust uncertainty quantification directly within modern inference frameworks.
Dynestyx: A Probabilistic Programming Library for Dynamical Systems
arXiv:2606.16985v1 Announce Type: cross Abstract: State-space models (SSMs) are the standard formalism for Bayesian treatment of dynamical systems, with natural applications in statistics, signal processing, and machine learning. Despite their importance in both theory and application, dynamical systems have proven difficult to incorporate in modern probabilistic programming languages (PPLs), making state-of-the-art methods less accessible to practitioners and introducing friction in following the "Bayesian workflow." We introduce dynestyx, a probabilistic programming library with first-class support for SSMs, including state-of-the-art methods in the estimation of both states and parameters. Through a single, unified interface, users may specify arbitrary priors for discrete-time or continuous-time dynamical systems, perform inference over mixed-effect data, and make state and parameter estimates with principled uncertainty quantification.
Abstract:State-space models (SSMs) are the standard formalism for Bayesian treatment of dynamical systems, with natural applications in statistics, signal processing, and machine learning. Despite their importance in both theory and application, dynamical systems have proven difficult to incorporate in modern probabilistic programming languages (PPLs), making state-of-the-art methods less accessible to practitioners and introducing friction in following the "Bayesian workflow." We introduce dynestyx, a probabilistic programming library with first-class support for SSMs, including state-of-the-art methods in the estimation of both states and parameters. Through a single, unified interface, users may specify arbitrary priors for discrete-time or continuous-time dynamical systems, perform inference over mixed-effect data, and make state and parameter estimates with principled uncertainty quantification.
Machine Learning (stat.ML); Machine Learning (cs.LG); Signal Processing (eess.SP); Chaotic Dynamics (nlin.CD); Methodology (stat.ME)
arXiv:2606.16985 [stat.ML]
(or arXiv:2606.16985v1 [stat.ML] for this version)
https://doi.org/10.48550/arXiv.2606.16985 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 218 words
Related coverage
Using Probabilistic Programs to Train Inductive Reasoning in Large Language Models
arXiv · Jun 10, 2026
Likelihood Hacking in Probabilistic Program Synthesis
arXiv · Aug 20, 2026
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming
arXiv · Jul 24, 2026
Responsibility Boundaries for Agentic Systems: A Comparative Evaluation of Probabilistic Agentic Programming
arXiv · Oct 27, 2026