Better Languages for Statistics: foundations for non-parametric probabilistic programming

Publications

Higher order automatic differentiation of higher order functions

Author(s): M. Huot, S. Staton and M. Vákár
Published in: Logical Methods in Computer Science, 2022, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:41)2022

A category-theoretic proof of the ergodic decomposition theorem

Author(s): S. Moss, P. Perrone
Published in: Ergodic Theory and Dynamical Systems, 2023, ISSN 0000-0000
Publisher: CUP

A generalization of hierarchical exchangeability on trees to directed acyclic graphs

Author(s): P. Jung, J. Lee, S. Staton and H. Yang
Published in: Annales Henri Lebesgue, 2021, ISSN 2644-9463
Publisher: Centre Mersenne
DOI: 10.5802/ahl.74

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

Author(s): T. Fritz, T. Gonda, Paolo Perrone, E. Rischel
Published in: Theoretical Computer Science, 2023, ISSN 0000-0000
Publisher: Elsevier
DOI: 10.1016/j.tcs.2023.113896

De Finetti’s Theorem in Categorical Probability

Author(s): T Fritz, T Gonda, P Perrone
Published in: Journal of Stochastic Analysis, 2021, ISSN 2689-6931
Publisher: Journal of Stochastic Analysis
DOI: 10.31390/josa.2.4.06

Partial Evaluations and the Compositional Structure of the Bar Construction

Author(s): C. Constantin, T. Fritz, Paolo Perrone, B. Shapiro
Published in: Theory and Applications of Categories, 2023, ISSN 0000-0000
Publisher: NA

Monads for measurable queries in probabilistic databases

Author(s): S. Dash and S. Staton
Published in: Proc MFPS 2021, 2021
Publisher: EPTCS
DOI: 10.4204/eptcs.351.3

Recursion and Sequentiality in Categories of Sheaves

Author(s): C. Matache, S. Moss, S. Staton
Published in: Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Publisher: LIPICS
DOI: 10.4230/lipics.fscd.2021.25

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Author(s): A. Lew, M. Huot, S. Staton, V. Mansinghka
Published in: Proc. POPL 2023, 2023
Publisher: ACM
DOI: 10.1145/3571198

Compositional Semantics for Probabilistic Programs with Exact Conditioning

Author(s): D. Stein and S. Staton
Published in: Proceedings of Thirty-Sixth Annual ACM/IEEE Conference on Logic in Computer Science (LICS 2021), 2021
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470552

Affine monads and lazy structures for Bayesian programming

Author(s): Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton
Published in: Proc. POPL 2023, Issue 1, 2023
Publisher: ACM

Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras

Author(s): S. Staton, N. Summers
Published in: Proc. QPL 2022, 2022
Publisher: NA

omega-PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs

Author(s): A. Lew, M. Huot, V. Mansinghka, S. Staton
Published in: Proc LICS 2023, 2023
Publisher: IEEE

Probability monads with submonads of deterministic states

Author(s): S. Moss, P. Perrone
Published in: Proc. LICS 2022, 2022
Publisher: ACM

Concrete categories and higher-order recursion

Author(s): C. Matache, S. Moss, S. Staton
Published in: Proc. LICS 2022, 2022
Publisher: ACM
DOI: 10.1145/3531130.3533370

Probabilistic programming semantics for name generation

Author(s): M. Sabok, S. Staton, D. Stein and M. Wolman
Published in: Proceedings of POPL 2021, 2021
Publisher: ACM
DOI: 10.1145/3434292

A Monad for Probabilistic Point Processes

Author(s): S. Dash and S. Staton
Published in: Proc ACT 2020, 2021
Publisher: EPTCS
DOI: 10.4204/eptcs.333.2

Searching for OpenAIRE data...

Publications

Share this page

Download