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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Higher order automatic differentiation of higher order functions

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

A category-theoretic proof of the ergodic decomposition theorem

Autores: S. Moss, P. Perrone
Publicado en: Ergodic Theory and Dynamical Systems, 2023, ISSN 0000-0000
Editor: CUP

A generalization of hierarchical exchangeability on trees to directed acyclic graphs

Autores: P. Jung, J. Lee, S. Staton and H. Yang
Publicado en: Annales Henri Lebesgue, 2021, ISSN 2644-9463
Editor: Centre Mersenne
DOI: 10.5802/ahl.74

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

Autores: T. Fritz, T. Gonda, Paolo Perrone, E. Rischel
Publicado en: Theoretical Computer Science, 2023, ISSN 0000-0000
Editor: Elsevier
DOI: 10.1016/j.tcs.2023.113896

De Finetti’s Theorem in Categorical Probability

Autores: T Fritz, T Gonda, P Perrone
Publicado en: Journal of Stochastic Analysis, 2021, ISSN 2689-6931
Editor: Journal of Stochastic Analysis
DOI: 10.31390/josa.2.4.06

Partial Evaluations and the Compositional Structure of the Bar Construction

Autores: C. Constantin, T. Fritz, Paolo Perrone, B. Shapiro
Publicado en: Theory and Applications of Categories, 2023, ISSN 0000-0000
Editor: NA

Monads for measurable queries in probabilistic databases

Autores: S. Dash and S. Staton
Publicado en: Proc MFPS 2021, 2021
Editor: EPTCS
DOI: 10.4204/eptcs.351.3

Recursion and Sequentiality in Categories of Sheaves

Autores: C. Matache, S. Moss, S. Staton
Publicado en: Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Editor: LIPICS
DOI: 10.4230/lipics.fscd.2021.25

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Autores: A. Lew, M. Huot, S. Staton, V. Mansinghka
Publicado en: Proc. POPL 2023, 2023
Editor: ACM
DOI: 10.1145/3571198

Compositional Semantics for Probabilistic Programs with Exact Conditioning

Autores: D. Stein and S. Staton
Publicado en: Proceedings of Thirty-Sixth Annual ACM/IEEE Conference on Logic in Computer Science (LICS 2021), 2021
Editor: IEEE
DOI: 10.1109/lics52264.2021.9470552

Affine monads and lazy structures for Bayesian programming

Autores: Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton
Publicado en: Proc. POPL 2023, Edición 1, 2023
Editor: ACM

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

Autores: S. Staton, N. Summers
Publicado en: Proc. QPL 2022, 2022
Editor: NA

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

Autores: A. Lew, M. Huot, V. Mansinghka, S. Staton
Publicado en: Proc LICS 2023, 2023
Editor: IEEE

Probability monads with submonads of deterministic states

Autores: S. Moss, P. Perrone
Publicado en: Proc. LICS 2022, 2022
Editor: ACM

Concrete categories and higher-order recursion

Autores: C. Matache, S. Moss, S. Staton
Publicado en: Proc. LICS 2022, 2022
Editor: ACM
DOI: 10.1145/3531130.3533370

Probabilistic programming semantics for name generation

Autores: M. Sabok, S. Staton, D. Stein and M. Wolman
Publicado en: Proceedings of POPL 2021, 2021
Editor: ACM
DOI: 10.1145/3434292

A Monad for Probabilistic Point Processes

Autores: S. Dash and S. Staton
Publicado en: Proc ACT 2020, 2021
Editor: EPTCS
DOI: 10.4204/eptcs.333.2

Buscando datos de OpenAIRE...

Publicaciones

Compartir esta página

Descargar