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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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