Dario Stein

According to our database, Dario Stein authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Probabilistic Programming with Exact Conditions.

Dario Stein, Sam Staton

J. ACM, 2024

A Categorical Treatment of Open Linear Systems.

Dario Stein, Richard Samuelson

CoRR, 2024

Graphical Quadratic Algebra.

Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu

CoRR, 2024

Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory).

Dario Stein, Richard Samuelson

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Dilations and information flow axioms in categorical probability.

Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein

Math. Struct. Comput. Sci., 2023

Overdrawing Urns using Categories of Signed Probabilities.

Bart Jacobs, Dario Stein

CoRR, 2023

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming.

Bart Jacobs, Dario Stein

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Absolute continuity, supports and idempotent splitting in categorical probability.

Tobias Fritz, Tomás Gonda, Antonio Lorenzin, Paolo Perrone, Dario Stein

CoRR, 2023

Counting and Matching.

Bart Jacobs, Dario Stein

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

A Category for Unifying Gaussian Probability and Nondeterminism.

Dario Stein, Richard Samuelson

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Dilations and information flow axioms in categorical probability.

Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Paolo Perrone, Dario Stein

CoRR, 2022

Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors.

Dario Stein

CoRR, 2022

2021

Probabilistic programming semantics for name generation.

Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman

Proc. ACM Program. Lang., 2021

Compositional Semantics for Probabilistic Programs with Exact Conditioning.

Dario Stein, Sam Staton

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2018

The Beta-Bernoulli process and algebraic effects.

Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018