Inference compilation and universal probabilistic programming

Inference compilation and universal probabilistic programming

We introduce a method for using deep neural networks to amortize the cost of inference in models from the family induced by universal probabilistic programming languages, establishing a framework that combines the strengths of probabilistic programming and deep learning methods. We call what we do “...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Le, T, Baydin, A, Wood, F
Fformat:	Conference item
Cyhoeddwyd:	Journal of Machine Learning Research 2017

Eitemau Tebyg

Attention for inference compilation
gan: Harvey, W, et al.
Cyhoeddwyd: (2022)

Amortized rejection sampling in universal probabilistic programming
gan: Naderiparizi, S, et al.
Cyhoeddwyd: (2022)

Amortized inference and model learning for probabilistic programming
gan: Le, TA
Cyhoeddwyd: (2019)

Probabilistic programming with programmable inference
gan: Mansinghka, Vikash K., et al.
Cyhoeddwyd: (2021)

Efficient probabilistic inference in the quest for physics beyond the standard model
gan: Baydin, AG, et al.
Cyhoeddwyd: (2019)

Computability, inference and modeling in probabilistic programming
gan: Roy, Daniel Murphy
Cyhoeddwyd: (2011)

Probabilistic Programming with Programmable Variational Inference
gan: Becker, McCoy R., et al.
Cyhoeddwyd: (2024)

Automatic profiler-driven probabilistic compiler optimization
gan: Coore, Daniel
Cyhoeddwyd: (2007)

Automatic inference for higher-order probabilistic programs
gan: Paige, T
Cyhoeddwyd: (2016)

SPPL: probabilistic programming with fast exact symbolic inference
gan: Saad, Feras A, et al.
Cyhoeddwyd: (2022)

Automating inference, learning, and design using probabilistic programming
gan: Rainforth, T
Cyhoeddwyd: (2017)

Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
gan: Atkinson, Eric, et al.
Cyhoeddwyd: (2022)

Probabilistic program inference in network-based epidemiological simulations
gan: Smedemark-Margulies, Niklas, et al.
Cyhoeddwyd: (2022)

Scalable Structure Learning, Inference, and Analysis with Probabilistic Programs
gan: Saad, Feras Ahmad Khaled
Cyhoeddwyd: (2023)

Probabilistic inference in the era of tensor networks and differential programming
gan: Martin Roa-Villescas, et al.
Cyhoeddwyd: (2024-09-01)

Probabilistic program inference in network-based epidemiological simulations.
gan: Niklas Smedemark-Margulies, et al.
Cyhoeddwyd: (2022-11-01)

ToolPhet: Inference of Compiler Provenance From Stripped Binaries With Emerging Compilation Toolchains
gan: Hohyeon Jang, et al.
Cyhoeddwyd: (2024-01-01)

Bayesian Optimization for Probabilistic Programs
gan: Rainforth, T, et al.
Cyhoeddwyd: (2016)

Quantitative Inference in a Mechanical Design Compiler
gan: Ward, Allen C., et al.
Cyhoeddwyd: (2004)

Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
gan: Cusumano-Towner, Marco F., et al.
Cyhoeddwyd: (2018)

Inference Plans for Hybrid Probabilistic Inference
gan: Cheng, Ellie Y.
Cyhoeddwyd: (2024)

Evaluating probabilistic programming and fast variational Bayesian inference in phylogenetics
gan: Mathieu Fourment, et al.
Cyhoeddwyd: (2019-12-01)

Practical probabilistic inference
gan: Morris, Quaid Donald Jozef, 1972-
Cyhoeddwyd: (2006)

Universal compilation for quantum state tomography
gan: Vu Tuan Hai, et al.
Cyhoeddwyd: (2023-03-01)

Etalumis: bringing probabilistic programming to scientific simulators at scale
gan: Baydin, AG, et al.
Cyhoeddwyd: (2019)

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
gan: Zaiser, F
Cyhoeddwyd: (2024)

Composable Probabilistic Inference with Blaise
gan: Bonawitz, Keith A
Cyhoeddwyd: (2008)

Composable probabilistic inference with BLAISE
gan: Bonawitz, Keith A. (Keith Allen), 1980-
Cyhoeddwyd: (2009)

Protein side-chain placement: probabilistic inference and integer programming methods
gan: Hong, Eun-Jong, et al.
Cyhoeddwyd: (2003)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
gan: Wang, Peixin, et al.
Cyhoeddwyd: (2024)

Fast and correct variational inference for probabilistic programming: Differentiability, reparameterisation and smoothing
gan: Wagner, D
Cyhoeddwyd: (2023)

Probabilistic Inference for Machine Translation
gan: Blunsom, P, et al.
Cyhoeddwyd: (2008)

Probabilistic Inference for Dynamical Systems
gan: Sergio Davis, et al.
Cyhoeddwyd: (2018-09-01)

Assemblers, compilers, and program translation /
gan: 424300 Calingaert, Peter
Cyhoeddwyd: (1979)

Compiling Probabilistic, Bio-Inspired Circuits on a Field Programmable Analog Array
gan: H. Bo eMarr, et al.
Cyhoeddwyd: (2014-05-01)

Compiling Shared Variable Programs into CSP
gan: Roscoe, A
Cyhoeddwyd: (2001)

A Theory of Quantitative Inference Applied to a Mechanical Design Compiler
gan: Ward, Allen C.
Cyhoeddwyd: (2004)

Softstar: Heuristic-guided probabilistic inference
gan: Monfort, Mathew, et al.
Cyhoeddwyd: (2017)

Maximum a posteriori estimation by search in probabilistic programs
gan: Tolpin, D, et al.
Cyhoeddwyd: (2015)

Stochastic Digital Circuits for Probabilistic Inference
gan: Tenenbaum, Joshua B., et al.
Cyhoeddwyd: (2008)