Towards Verified Stochastic Variational Inference for Probabilistic Programs

preview_player
Показать описание
Presented by Wonyeol Lee.

Presented at POPL'20
  1. ACM SIGPLAN
  2. POPL
  3. POPL 2020
  4. Programming languages
  5. Wonyeol Lee
  6. POPL'20
Рекомендации по теме
Towards Verified Stochastic 0:20:50

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Towards verified stochastic 0:52:43

Towards verified stochastic variational inference for probabilistic programs

Towards Verified Stochastic 0:47:18

Towards Verified Stochastic Variational Inference for Probabilistic Programs - Hongseok Yang

Black-Box Variational Inference 0:37:58

Black-Box Variational Inference for Probabilistic Programs

'Variational Inference 2' 1:44:57

'Variational Inference 2' by Andrés R. Masegosa, Helge Langseth & Thomas D. Nielsen

Scalable And Reliable 0:41:40

Scalable And Reliable Inference For Probabilistic Modeling

[DeepBayes2018]: Day 3, 1:41:54

[DeepBayes2018]: Day 3, Invited talk 1. Advanced methods of variational inference

[LAFI'22] Rigorous Approximation 0:19:48

[LAFI'22] Rigorous Approximation of Posterior Inference for Probabilistic Programs

Preconditioned training of 0:04:57

Preconditioned training of normalizing flows for variational inference in inverse problems

S10.1 Intro. to 0:27:07

S10.1 Intro. to Variational Inference

COLT 2020 Keynote 1:17:12

COLT 2020 Keynote 3: David Blei, 'Scaling and Generalizing Approximate Bayesian Inference'

Integrating Inference with 0:42:50

Integrating Inference with Stochastic Process Algebra Models - Jane Hillston, Edinburgh

Lecture 17: Variational 1:18:01

Lecture 17: Variational Algorithms for Approximate Bayesian Inference: Linear Regression

AI4OPT Seminar Series: 1:00:23

AI4OPT Seminar Series: Improving Variational Inference for Complex Probabilistic Modeling

Eric Atkinson: 'Verifying 0:22:26

Eric Atkinson: 'Verifying Handcoded Probabilistic Inference Procedures'

Compressing Variational Bayes 0:53:17

Compressing Variational Bayes by Dr. Stephan Mandt

Lecture 08 Variational 1:10:45

Lecture 08 Variational Inference 2

Debdeep Pati - 0:54:07

Debdeep Pati - Seminar - ' Statistical and Algorithmic Foundations of Variational Inference&apo...

Scalable Modular Bayesian 0:14:06

Scalable Modular Bayesian Inference with Normalizing Flows

Variational Bayes — 0:54:40

Variational Bayes — TAMARA BRODERICK

Variational Inference by 0:30:21

Variational Inference by Mean Field Approach for the Posterior of the Normal in Python

[POPL'23] Smoothness Analysis 0:28:18

[POPL'23] Smoothness Analysis for Probabilistic Programs with Application to Optimised Var...

Probabilistic Numerics for 1:06:09

Probabilistic Numerics for Inference with Simulations

Adam Scibior: 'Denotational 0:20:59

Adam Scibior: 'Denotational account of approximate Bayesian inference'