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

Projektinformationen

BLaSt

ID Finanzhilfevereinbarung: 864202

DOI

10.3030/864202

EK-Unterschriftsdatum 26 Februar 2020

Startdatum 1 Oktober 2020

Enddatum 30 September 2026

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 931 178,00

EU-Beitrag

€ 1 931 178,00

Koordiniert durch

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

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

Peer reviewed articles (6)

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

Conference proceedings (11)

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