59:13

[LAFI'22] Abstract types in probabilistic programming

ACM SIGPLAN

32:26

[LAFI'22] Probabilistic and Differentiable Programming in Scientific Simulators

ACM SIGPLAN

30:37

[LAFI'22] Stateful processes in probabilistic programming

ACM SIGPLAN

35:43

[LAFI'22] Programming Languages for Automatic Differentiation: What Now?

ACM SIGPLAN

34:47

[LAFI'22] Scalable structure learning and inference for domain-specific probabilistic prog

ACM SIGPLAN

18:31

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

ACM SIGPLAN

17:51

[LAFI'22] A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent

ACM SIGPLAN

20:15

[LAFI'22] Nonparametric Involutive Markov Chain Monte Carlo

ACM SIGPLAN

19:48

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

ACM SIGPLAN

43:46

[LAFI'22] Program Analysis of Probabilistic Programs

ACM SIGPLAN