grammo: A grammar of probabilistic models

Provider

Czech Science Foundation

Programme

—

Call for proposals

—

Main participants

Univerzita Karlova / 2. lékařská fakulta

Contest type

M2 - International cooperation

Contract ID

26-21806K

Project name in Czech

grammo: A grammar of probabilistic models

Annotation in Czech

We will design and implement grammo: a novel mid-level grammar for expressing Bayesian statistical models. Grammo will provide substantially more flexibility, reusability and transparency than state-of-the-art high-level statistical packages while staying much more concise and accessible than low-level probabilistic programming languages. Beyond theoretical analysis of its properties, the usability of grammo will be evaluated with human users. We will then develop new methods for automatic and computer-assisted analysis, manipulation and debugging of probabilistic programs, using grammo as a testbed. Further, grammo will allow us to research several classes of complex models that are currently rarely used due to difficulties in their specification. This includes various forms of joint models combining multiple data-generating mechanisms in a single model with shared parameters as well as time-to-event models and non-standard structural equation models. We will then develop workflows and supporting tools for those models including prior choice, model validation and selection.

R&D category

ZV - Basic research

OECD FORD - main branch

10103 - Statistics and probability

OECD FORD - secondary branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - another secondary branch

—

CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

AF - Documentation, librarianship, work with information<br>BB - Applied statistics, operational research<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics

Realization period - beginning

Jul 1, 2026

Realization period - end

Dec 31, 2029

Project status

Z - Beginning multi-year project

Latest support payment

—

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data delivery code

CEP26-GA0-GF-R

Data delivery date

Jul 27, 2026

Total approved costs

5,476 thou. CZK

Public financial support

5,476 thou. CZK

Other public sources

0 thou. CZK

Non public and foreign sources

0 thou. CZK