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

Informations projet

BLaSt

N° de convention de subvention: 864202

DOI

10.3030/864202

Date de signature de la CE 26 Février 2020

Date de début 1 Octobre 2020

Date de fin 30 Septembre 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 931 178,00

Contribution de l’UE

€ 1 931 178,00

Coordonné par

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

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (6)

Higher order automatic differentiation of higher order functions

Auteurs: M. Huot, S. Staton and M. Vákár
Publié dans: Logical Methods in Computer Science, 2022, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:41)2022

A category-theoretic proof of the ergodic decomposition theorem

Auteurs: S. Moss, P. Perrone
Publié dans: Ergodic Theory and Dynamical Systems, 2023, ISSN 0000-0000
Éditeur: CUP

A generalization of hierarchical exchangeability on trees to directed acyclic graphs

Auteurs: P. Jung, J. Lee, S. Staton and H. Yang
Publié dans: Annales Henri Lebesgue, 2021, ISSN 2644-9463
Éditeur: Centre Mersenne
DOI: 10.5802/ahl.74

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

Auteurs: T. Fritz, T. Gonda, Paolo Perrone, E. Rischel
Publié dans: Theoretical Computer Science, 2023, ISSN 0000-0000
Éditeur: Elsevier
DOI: 10.1016/j.tcs.2023.113896

De Finetti’s Theorem in Categorical Probability

Auteurs: T Fritz, T Gonda, P Perrone
Publié dans: Journal of Stochastic Analysis, 2021, ISSN 2689-6931
Éditeur: Journal of Stochastic Analysis
DOI: 10.31390/josa.2.4.06

Partial Evaluations and the Compositional Structure of the Bar Construction

Auteurs: C. Constantin, T. Fritz, Paolo Perrone, B. Shapiro
Publié dans: Theory and Applications of Categories, 2023, ISSN 0000-0000
Éditeur: NA

Conference proceedings (11)

Monads for measurable queries in probabilistic databases

Auteurs: S. Dash and S. Staton
Publié dans: Proc MFPS 2021, 2021
Éditeur: EPTCS
DOI: 10.4204/eptcs.351.3

Recursion and Sequentiality in Categories of Sheaves

Auteurs: C. Matache, S. Moss, S. Staton
Publié dans: Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Éditeur: LIPICS
DOI: 10.4230/lipics.fscd.2021.25

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Auteurs: A. Lew, M. Huot, S. Staton, V. Mansinghka
Publié dans: Proc. POPL 2023, 2023
Éditeur: ACM
DOI: 10.1145/3571198

Compositional Semantics for Probabilistic Programs with Exact Conditioning

Auteurs: D. Stein and S. Staton
Publié dans: Proceedings of Thirty-Sixth Annual ACM/IEEE Conference on Logic in Computer Science (LICS 2021), 2021
Éditeur: IEEE
DOI: 10.1109/lics52264.2021.9470552

Affine monads and lazy structures for Bayesian programming

Auteurs: Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton
Publié dans: Proc. POPL 2023, Numéro 1, 2023
Éditeur: ACM

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

Auteurs: S. Staton, N. Summers
Publié dans: Proc. QPL 2022, 2022
Éditeur: NA

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

Auteurs: A. Lew, M. Huot, V. Mansinghka, S. Staton
Publié dans: Proc LICS 2023, 2023
Éditeur: IEEE

Probability monads with submonads of deterministic states

Auteurs: S. Moss, P. Perrone
Publié dans: Proc. LICS 2022, 2022
Éditeur: ACM

Concrete categories and higher-order recursion

Auteurs: C. Matache, S. Moss, S. Staton
Publié dans: Proc. LICS 2022, 2022
Éditeur: ACM
DOI: 10.1145/3531130.3533370

Probabilistic programming semantics for name generation

Auteurs: M. Sabok, S. Staton, D. Stein and M. Wolman
Publié dans: Proceedings of POPL 2021, 2021
Éditeur: ACM
DOI: 10.1145/3434292

A Monad for Probabilistic Point Processes

Auteurs: S. Dash and S. Staton
Publié dans: Proc ACT 2020, 2021
Éditeur: EPTCS
DOI: 10.4204/eptcs.333.2