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

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Higher order automatic differentiation of higher order functions

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

A category-theoretic proof of the ergodic decomposition theorem

Autori: S. Moss, P. Perrone
Pubblicato in: Ergodic Theory and Dynamical Systems, 2023, ISSN 0000-0000
Editore: CUP

A generalization of hierarchical exchangeability on trees to directed acyclic graphs

Autori: P. Jung, J. Lee, S. Staton and H. Yang
Pubblicato in: Annales Henri Lebesgue, 2021, ISSN 2644-9463
Editore: Centre Mersenne
DOI: 10.5802/ahl.74

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

Autori: T. Fritz, T. Gonda, Paolo Perrone, E. Rischel
Pubblicato in: Theoretical Computer Science, 2023, ISSN 0000-0000
Editore: Elsevier
DOI: 10.1016/j.tcs.2023.113896

De Finetti’s Theorem in Categorical Probability

Autori: T Fritz, T Gonda, P Perrone
Pubblicato in: Journal of Stochastic Analysis, 2021, ISSN 2689-6931
Editore: Journal of Stochastic Analysis
DOI: 10.31390/josa.2.4.06

Partial Evaluations and the Compositional Structure of the Bar Construction

Autori: C. Constantin, T. Fritz, Paolo Perrone, B. Shapiro
Pubblicato in: Theory and Applications of Categories, 2023, ISSN 0000-0000
Editore: NA

Monads for measurable queries in probabilistic databases

Autori: S. Dash and S. Staton
Pubblicato in: Proc MFPS 2021, 2021
Editore: EPTCS
DOI: 10.4204/eptcs.351.3

Recursion and Sequentiality in Categories of Sheaves

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

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Autori: A. Lew, M. Huot, S. Staton, V. Mansinghka
Pubblicato in: Proc. POPL 2023, 2023
Editore: ACM
DOI: 10.1145/3571198

Compositional Semantics for Probabilistic Programs with Exact Conditioning

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

Affine monads and lazy structures for Bayesian programming

Autori: Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton
Pubblicato in: Proc. POPL 2023, Numero 1, 2023
Editore: ACM

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

Autori: S. Staton, N. Summers
Pubblicato in: Proc. QPL 2022, 2022
Editore: NA

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

Autori: A. Lew, M. Huot, V. Mansinghka, S. Staton
Pubblicato in: Proc LICS 2023, 2023
Editore: IEEE

Probability monads with submonads of deterministic states

Autori: S. Moss, P. Perrone
Pubblicato in: Proc. LICS 2022, 2022
Editore: ACM

Concrete categories and higher-order recursion

Autori: C. Matache, S. Moss, S. Staton
Pubblicato in: Proc. LICS 2022, 2022
Editore: ACM
DOI: 10.1145/3531130.3533370

Probabilistic programming semantics for name generation

Autori: M. Sabok, S. Staton, D. Stein and M. Wolman
Pubblicato in: Proceedings of POPL 2021, 2021
Editore: ACM
DOI: 10.1145/3434292

A Monad for Probabilistic Point Processes

Autori: S. Dash and S. Staton
Pubblicato in: Proc ACT 2020, 2021
Editore: EPTCS
DOI: 10.4204/eptcs.333.2

È in corso la ricerca di dati su OpenAIRE...

Pubblicazioni

Condividi questa pagina

Scarica