Structural foundations for probabilistic programming languages DM Stein University of Oxford, 2021 | 32 | 2021 |
Compositional Semantics for Probabilistic Programs with Exact Conditioning D Stein, S Staton LICS '21: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021 | 31 | 2021 |
The Beta-Bernoulli process and algebraic effects S Staton, D Stein, H Yang, NL Ackerman, CE Freer, DM Roy International Colloquium on Automata, Languages and Programming 2018, 2018 | 23 | 2018 |
Probabilistic Programming Semantics for Name Generation M Sabok, S Staton, D Stein, M Wolman Principles of Programming Languages 2021, 2020 | 18 | 2020 |
Dilations and information flow axioms in categorical probability T Fritz, T Gonda, NG Houghton-Larsen, A Lorenzin, P Perrone, D Stein Mathematical Structures in Computer Science 33 (10), 913-957, 2023 | 14 | 2023 |
Absolute continuity, supports and idempotent splitting in categorical probability T Fritz, T Gonda, A Lorenzin, P Perrone, D Stein arXiv preprint arXiv:2308.00651, 2023 | 7 | 2023 |
A Category for Unifying Gaussian Probability and Nondeterminism D Stein, R Samuelson arXiv preprint arXiv:2204.14024, 2022 | 6 | 2022 |
Counting and matching BPF Jacobs, D Stein Dagstuhl: Schloss Dagstuhl, 2023 | 3 | 2023 |
Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) D Stein, R Samuelson International Conference on Foundations of Software Science and Computation …, 2024 | 2 | 2024 |
Graphical quadratic algebra D Stein, F Zanasi, R Samuelson, R Piedeleu arXiv preprint arXiv:2403.02284, 2024 | 2 | 2024 |
Probabilistic Programming with Exact Conditions D Stein, S Staton Journal of the ACM, 2023 | 2 | 2023 |
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming B Jacobs, D Stein Electronic Notes in Theoretical Informatics and Computer Science 3, 2023 | 2 | 2023 |
Overdrawing Urns using Categories of Signed Probabilities B Jacobs, D Stein arXiv preprint arXiv:2312.12453, 2023 | 1 | 2023 |
Decorated linear relations: Extending gaussian probability with uninformative priors D Stein arXiv preprint arXiv:2204.14024, 2022 | 1 | 2022 |
Combs, Causality and Contractions in Atomic Markov Categories D Stein, M Széles arXiv preprint arXiv:2404.02017, 2024 | | 2024 |
A Categorical Treatment of Open Linear Systems D Stein, R Samuelson arXiv preprint arXiv:2403.03934, 2024 | | 2024 |
Towards a Compositional Framework for Convex Analysis D Stein, R Samuelson | | |
Absolute continuity, supports and idempotent splitting in Markov categories T Fritz, T Gonda, A Lorenzin, P Perrone, D Stein | | |
Extending Gaussian Probability with Uninformative Priors D Stein | | |
A Hypergraph Category for Exact Gaussian Inference D Stein, S Staton | | |