Productivity meets Performance: Julia on A64FX

Institute of Electrical and Electronics Engineers (IEEE) 00 (2022) 549-555

Authors:

Mosè Giordano, Milan Klöwer, Valentin Churavy

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

Authors:

T Reichelt, A Goliński, L Ong, T Rainforth

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

Authors:

Mathilde Ritman, Ben Hague, Tauala Katea, Tavau Vaaia, Arona Ngari, Grant Smith, David Jones, Léna Tolu

Rethinking Variational Inference for Probabilistic Programs with Stochastic Support

Advances in Neural Information Processing Systems 35 (2022)

Authors:

T Reichelt, L Ong, T Rainforth

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)

Authors:

A Jesson, A Douglas, P Manshausen, M Solal, N Meinshausen, P Stier, Y Gal, U Shalit

Abstract:

Estimating the effects of continuous-valued interventions from observational data is a critically important task for climate science, healthcare, and economics. Recent work focuses on designing neural network architectures and regularization functions to allow for scalable estimation of average and individual-level dose-response curves from high-dimensional, large-sample data. Such methodologies assume ignorability (observation of all confounding variables) and positivity (observation of all treatment levels for every covariate value describing a set of units), assumptions problematic in the continuous treatment regime. Scalable sensitivity and uncertainty analyses to understand the ignorance induced in causal estimates when these assumptions are relaxed are less studied. Here, we develop a continuous treatment-effect marginal sensitivity model (CMSM) and derive bounds that agree with the observed data and a researcher-defined level of hidden confounding. We introduce a scalable algorithm and uncertainty-aware deep models to derive and estimate these bounds for high-dimensional, large-sample observational data. We work in concert with climate scientists interested in the climatological impacts of human emissions on cloud properties using satellite observations from the past 15 years. This problem is known to be complicated by many unobserved confounders.