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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Higher order automatic differentiation of higher order functions

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

A category-theoretic proof of the ergodic decomposition theorem

Autorzy: S. Moss, P. Perrone
Opublikowane w: Ergodic Theory and Dynamical Systems, 2023, ISSN 0000-0000
Wydawca: CUP

A generalization of hierarchical exchangeability on trees to directed acyclic graphs

Autorzy: P. Jung, J. Lee, S. Staton and H. Yang
Opublikowane w: Annales Henri Lebesgue, 2021, ISSN 2644-9463
Wydawca: Centre Mersenne
DOI: 10.5802/ahl.74

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

Autorzy: T. Fritz, T. Gonda, Paolo Perrone, E. Rischel
Opublikowane w: Theoretical Computer Science, 2023, ISSN 0000-0000
Wydawca: Elsevier
DOI: 10.1016/j.tcs.2023.113896

De Finetti’s Theorem in Categorical Probability

Autorzy: T Fritz, T Gonda, P Perrone
Opublikowane w: Journal of Stochastic Analysis, 2021, ISSN 2689-6931
Wydawca: Journal of Stochastic Analysis
DOI: 10.31390/josa.2.4.06

Partial Evaluations and the Compositional Structure of the Bar Construction

Autorzy: C. Constantin, T. Fritz, Paolo Perrone, B. Shapiro
Opublikowane w: Theory and Applications of Categories, 2023, ISSN 0000-0000
Wydawca: NA

Monads for measurable queries in probabilistic databases

Autorzy: S. Dash and S. Staton
Opublikowane w: Proc MFPS 2021, 2021
Wydawca: EPTCS
DOI: 10.4204/eptcs.351.3

Recursion and Sequentiality in Categories of Sheaves

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

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Autorzy: A. Lew, M. Huot, S. Staton, V. Mansinghka
Opublikowane w: Proc. POPL 2023, 2023
Wydawca: ACM
DOI: 10.1145/3571198

Compositional Semantics for Probabilistic Programs with Exact Conditioning

Autorzy: D. Stein and S. Staton
Opublikowane w: Proceedings of Thirty-Sixth Annual ACM/IEEE Conference on Logic in Computer Science (LICS 2021), 2021
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470552

Affine monads and lazy structures for Bayesian programming

Autorzy: Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton
Opublikowane w: Proc. POPL 2023, Numer 1, 2023
Wydawca: ACM

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

Autorzy: S. Staton, N. Summers
Opublikowane w: Proc. QPL 2022, 2022
Wydawca: NA

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

Autorzy: A. Lew, M. Huot, V. Mansinghka, S. Staton
Opublikowane w: Proc LICS 2023, 2023
Wydawca: IEEE

Probability monads with submonads of deterministic states

Autorzy: S. Moss, P. Perrone
Opublikowane w: Proc. LICS 2022, 2022
Wydawca: ACM

Concrete categories and higher-order recursion

Autorzy: C. Matache, S. Moss, S. Staton
Opublikowane w: Proc. LICS 2022, 2022
Wydawca: ACM
DOI: 10.1145/3531130.3533370

Probabilistic programming semantics for name generation

Autorzy: M. Sabok, S. Staton, D. Stein and M. Wolman
Opublikowane w: Proceedings of POPL 2021, 2021
Wydawca: ACM
DOI: 10.1145/3434292

A Monad for Probabilistic Point Processes

Autorzy: S. Dash and S. Staton
Opublikowane w: Proc ACT 2020, 2021
Wydawca: EPTCS
DOI: 10.4204/eptcs.333.2

Wyszukiwanie danych OpenAIRE...

Publikacje

Udostępnij tę stronę

Pobierz