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

Periodic Reporting for period 2 - BLaSt (Better Languages for Statistics: foundations for non-parametric probabilistic programming)

Berichtszeitraum: 2022-04-01 bis 2023-09-30

Zusammenfassung vom Kontext und den Gesamtzielen des Projekts

Probabilistic programming is a powerful method for Bayesian statistical modelling, particularly where the sample space is complex or unbounded (non-parametric). This is because the statistical model can be described clearly in a way that is precise but separate from inference algorithms. It accommodates complex models in such a way that outcomes are still explainable.

The objective of the proposed research is to develop a semantic foundation for probabilistic programming that properly explains the non-parametric aspects, particularly the symmetries that arise there. There are three ultimate goals:
■ to propose new probabilistic programming languages: better languages for statistics;
■ to devise new general inference methods for probabilistic programs;
■ to build new foundations for probability.

Arbeit, die ab Beginn des Projekts bis zum Ende des durch den Bericht erfassten Berichtszeitraums geleistet wurde, und die wichtigsten bis dahin erzielten Ergebnisse

The work so far has proposed new semantic foundations for programming languages and probabilistic programs, based on categories of concrete sheaves, monads, and Markov categories.

New results in probability theory have also been achieved: new theorems about hierarchical exchangeability, and new treatments of the quantum analogue of de Finetti's theorem.

We have developed new foundations for gradient methods in probabilistic programming.

We have also developed a new programming library for probabilistic programming, based on the techniques developed.

Fortschritte, die über den aktuellen Stand der Technik hinausgehen und voraussichtliche potenzielle Auswirkungen (einschließlich der bis dato erzielten sozioökonomischen Auswirkungen und weiter gefassten gesellschaftlichen Auswirkungen des Projekts)

For the remainder of the project we will derive new methods in programming languages so as to advance the state of the art in statistics and probability theory.

We hope to prove a conjecture precisely relating programming libraries to "exchangeable process" in non-parametric statistics.

We will further develop our probabilistic programming library based on further developments. We hope to extend it with gradient methods for advanced performance.

regression.jpg