[LAFI'26] A Welcome to Causal Probabilistic Programming
Автор: ACM SIGPLAN
Загружено: 2026-01-27
Просмотров: 9
Описание:
A Welcome to Causal Probabilistic Programming (Video, LAFI 2026)
Dario Stein
(unaffiliated)
Abstract: Probabilistic Programming Languages are expressive tools for exploring statistical relationships. Recently, interest has been growing in extending their capabilities to answer interventional and counterfactual queries.
In this talk, I want to give an introduction to Pearl’s framework of causality and discuss how to adapt it to the world of programming languages. I will outline different approaches, challenges and open questions and extend an invitation to the audience to explore this exciting new paradigm.
Presentation at the LAFI 2026 workshop, Jan 11, 2026, https://popl26.sigplan.org/home/lafi-...
Sponsored by ACM SIGPLAN.
Повторяем попытку...
![[LAFI'26] A Welcome to Causal Probabilistic Programming](https://imager.clipsaver.ru/R--2oeInEmQ/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[CPP'26] Mechanizing Synthetic Tait Computability in Istari](https://image.4k-video.ru/id-video/HGa6a1zXAcA)
![[CPP'26] How can Machine Learning Help Formal Proving ?](https://image.4k-video.ru/id-video/CRQSx4rBNeA)
![[CPP'26] A Rose Tree is Blooming (Proof Pearl)](https://image.4k-video.ru/id-video/wxAgi1xBQsI)
![[CPP'26] Can we formalise type theory intrinsically without any compromise? A case study in(…)](https://image.4k-video.ru/id-video/Xn3M5Y71lrI)
![[CPP'26] Higher order differential calculus in Mathlib](https://image.4k-video.ru/id-video/spR9AjLI5Eg)
![[CPP'26] Verified VCG and Verified Compiler for Dafny](https://image.4k-video.ru/id-video/v_hL8RB4tnE)
