Productivity meets Performance: Julia on A64FX
Institute of Electrical and Electronics Engineers (IEEE) 00 (2022) 549-555
Expectation Programming: Adapting Probabilistic Programming Systems to Estimate Expectations Efficiently
Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, UAI 2022 (2022) 1676-1685
Abstract:
We show that the standard computational pipeline of probabilistic programming systems (PPSs) can be inefficient for estimating expectations and introduce the concept of expectation programming to address this. In expectation programming, the aim of the backend inference engine is to directly estimate expected return values of programs, as opposed to approximating their conditional distributions. This distinction, while subtle, allows us to achieve substantial performance improvements over the standard PPS computational pipeline by tailoring computation to the expectation we care about. We realize a particular instance of our expectation programming concept, Expectation Programming in Turing (EPT), by extending the PPS Turing to allow so-called target-aware inference to be run automatically. We then verify the statistical soundness of EPT theoretically, and show that it provides substantial empirical gains in practice.Past and future coastal flooding in Pacific Small-Island Nations: insights from the Pacific Sea Level and Geodetic Monitoring (PSLGM) Project tide gauges
Journal of Southern Hemisphere Earth Systems Science CSIRO Publishing 72:3 (2022) 202-217
Rethinking Variational Inference for Probabilistic Programs with Stochastic Support
Advances in Neural Information Processing Systems 35 (2022)
Abstract:
We introduce Support Decomposition Variational Inference (SDVI), a new variational inference (VI) approach for probabilistic programs with stochastic support. Existing approaches to this problem rely on designing a single global variational guide on a variable-by-variable basis, while maintaining the stochastic control flow of the original program. SDVI instead breaks the program down into sub-programs with static support, before automatically building separate sub-guides for each. This decomposition significantly aids in the construction of suitable variational families, enabling, in turn, substantial improvements in inference performance.Scalable Sensitivity and Uncertainty Analyses for Causal-Effect Estimates of Continuous-Valued Interventions
Advances in Neural Information Processing Systems 35 (2022)