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

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Higher order automatic differentiation of higher order functions

Autoren: M. Huot, S. Staton and M. Vákár
Veröffentlicht in: Logical Methods in Computer Science, 2022, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:41)2022

A category-theoretic proof of the ergodic decomposition theorem

Autoren: S. Moss, P. Perrone
Veröffentlicht in: Ergodic Theory and Dynamical Systems, 2023, ISSN 0000-0000
Herausgeber: CUP

A generalization of hierarchical exchangeability on trees to directed acyclic graphs

Autoren: P. Jung, J. Lee, S. Staton and H. Yang
Veröffentlicht in: Annales Henri Lebesgue, 2021, ISSN 2644-9463
Herausgeber: Centre Mersenne
DOI: 10.5802/ahl.74

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

Autoren: T. Fritz, T. Gonda, Paolo Perrone, E. Rischel
Veröffentlicht in: Theoretical Computer Science, 2023, ISSN 0000-0000
Herausgeber: Elsevier
DOI: 10.1016/j.tcs.2023.113896

De Finetti’s Theorem in Categorical Probability

Autoren: T Fritz, T Gonda, P Perrone
Veröffentlicht in: Journal of Stochastic Analysis, 2021, ISSN 2689-6931
Herausgeber: Journal of Stochastic Analysis
DOI: 10.31390/josa.2.4.06

Partial Evaluations and the Compositional Structure of the Bar Construction

Autoren: C. Constantin, T. Fritz, Paolo Perrone, B. Shapiro
Veröffentlicht in: Theory and Applications of Categories, 2023, ISSN 0000-0000
Herausgeber: NA

Monads for measurable queries in probabilistic databases

Autoren: S. Dash and S. Staton
Veröffentlicht in: Proc MFPS 2021, 2021
Herausgeber: EPTCS
DOI: 10.4204/eptcs.351.3

Recursion and Sequentiality in Categories of Sheaves

Autoren: C. Matache, S. Moss, S. Staton
Veröffentlicht in: Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Herausgeber: LIPICS
DOI: 10.4230/lipics.fscd.2021.25

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Autoren: A. Lew, M. Huot, S. Staton, V. Mansinghka
Veröffentlicht in: Proc. POPL 2023, 2023
Herausgeber: ACM
DOI: 10.1145/3571198

Compositional Semantics for Probabilistic Programs with Exact Conditioning

Autoren: D. Stein and S. Staton
Veröffentlicht in: Proceedings of Thirty-Sixth Annual ACM/IEEE Conference on Logic in Computer Science (LICS 2021), 2021
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470552

Affine monads and lazy structures for Bayesian programming

Autoren: Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton
Veröffentlicht in: Proc. POPL 2023, Ausgabe 1, 2023
Herausgeber: ACM

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

Autoren: S. Staton, N. Summers
Veröffentlicht in: Proc. QPL 2022, 2022
Herausgeber: NA

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

Autoren: A. Lew, M. Huot, V. Mansinghka, S. Staton
Veröffentlicht in: Proc LICS 2023, 2023
Herausgeber: IEEE

Probability monads with submonads of deterministic states

Autoren: S. Moss, P. Perrone
Veröffentlicht in: Proc. LICS 2022, 2022
Herausgeber: ACM

Concrete categories and higher-order recursion

Autoren: C. Matache, S. Moss, S. Staton
Veröffentlicht in: Proc. LICS 2022, 2022
Herausgeber: ACM
DOI: 10.1145/3531130.3533370

Probabilistic programming semantics for name generation

Autoren: M. Sabok, S. Staton, D. Stein and M. Wolman
Veröffentlicht in: Proceedings of POPL 2021, 2021
Herausgeber: ACM
DOI: 10.1145/3434292

A Monad for Probabilistic Point Processes

Autoren: S. Dash and S. Staton
Veröffentlicht in: Proc ACT 2020, 2021
Herausgeber: EPTCS
DOI: 10.4204/eptcs.333.2

Suche nach OpenAIRE-Daten ...

Veröffentlichungen

Diese Seite teilen

Herunterladen