Tropical Geometry of Probabilistic Programming Languages
Davide Barbarossa
LIP, ENS Lyon
https://davidebarbarossa12.github.io/
Date(s) : 16/04/2026 iCal
11h00 - 12h30
I will discuss my last work with Paolo Pistone (ENS-Lyon), that we just
presented at POPL.
In the last few years there has been a growing interest towards methods
for statistical inference based on computational geometry and, notably,
tropical geometry. At the same time, recent work has demonstrated the
possibility of interpreting higher-order probabilistic programming
languages in the framework of tropical mathematics, by exploiting
categorical tools coming from the semantics of linear logic. In this
work we combine these two worlds, showing that tools and ideas from
tropical geometry can be used to express and, with luck, perform
statistical inference over higher-order probabilistic programs.
I will give an overview of the paper and we may dig into some more
specific topics depending on the time and our wish.
Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories
