9:19[LAFI'25] Exact Inference for Nested Discrete Probabilistic Programs (Remote)ACM SIGPLAN42 viewsView & Download
21:57Steven Holtzen: Modular Exact Inference for Discrete Probabilistic ProgramsProbabilistic Programming Association90 viewsView & Download
22:17[PLDI'25] Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic ProgramsACM SIGPLAN87 viewsView & Download
10:37[LAFI'23] Exact Inference for Discrete Probabilistic Programs via Generating FunctionsACM SIGPLAN115 viewsView & Download
1:24:50Steven Holtzen: Algorithmic foundations for exact discrete probabilistic reasoningCentre International de Rencontres Mathématiques89 viewsView & Download
13:39λPSI - Exact Inference for Higher Order Probabilistic ProgramsACM SIGPLAN125 viewsView & Download
20:31[VMCAI'24] Guaranteed inference for probabilistic programs: a parallelisable, small-step o...ACM SIGPLAN44 viewsView & Download
54:05Automatic Integration and Differentiation of Probabilistic ProgramsAlex Lew327 viewsView & Download
4:40OOPSLA 2020 Poster: Scaling Exact Inference for Discrete Probabilistic ProgramsSteven Holtzen29 viewsView & Download
1:06:49Fritz Obermeyer - Probabilistic Programming and Readable Models | PyData Yerevan 2022PyData2.3K viewsView & Download
12:33KR 2021 - Approximate inference for Neural Probabilistic Logic ProgrammingKR conference series168 viewsView & Download
18:14Incremental Precision-Preserving Symbolic Inference for Probabilistic ProgramsACM SIGPLAN39 viewsView & Download
1:0419 June 0520 λPSI Exact Inference for Higher Order Probabilistic ProgramsACM SIGPLAN65 viewsView & Download
1:05Incremental Precision-Preserving Symbolic Inference for Probabilistic ProgramsPLDI 2019 Video Abstracts37 viewsView & Download