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 “...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Le, T, Baydin, A, Wood, F
Formáid:	Conference item
Foilsithe / Cruthaithe:	Journal of Machine Learning Research 2017

Míreanna comhchosúla

Attention for inference compilation
de réir: Harvey, W, et al.
Foilsithe / Cruthaithe: (2022)

Amortized rejection sampling in universal probabilistic programming
de réir: Naderiparizi, S, et al.
Foilsithe / Cruthaithe: (2022)

Amortized inference and model learning for probabilistic programming
de réir: Le, TA
Foilsithe / Cruthaithe: (2019)

Probabilistic programming with programmable inference
de réir: Mansinghka, Vikash K., et al.
Foilsithe / Cruthaithe: (2021)

Efficient probabilistic inference in the quest for physics beyond the standard model
de réir: Baydin, AG, et al.
Foilsithe / Cruthaithe: (2019)

Computability, inference and modeling in probabilistic programming
de réir: Roy, Daniel Murphy
Foilsithe / Cruthaithe: (2011)

Probabilistic Programming with Programmable Variational Inference
de réir: Becker, McCoy R., et al.
Foilsithe / Cruthaithe: (2024)

Automatic profiler-driven probabilistic compiler optimization
de réir: Coore, Daniel
Foilsithe / Cruthaithe: (2007)

Automatic inference for higher-order probabilistic programs
de réir: Paige, T
Foilsithe / Cruthaithe: (2016)

SPPL: probabilistic programming with fast exact symbolic inference
de réir: Saad, Feras A, et al.
Foilsithe / Cruthaithe: (2022)

Automating inference, learning, and design using probabilistic programming
de réir: Rainforth, T
Foilsithe / Cruthaithe: (2017)

Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
de réir: Atkinson, Eric, et al.
Foilsithe / Cruthaithe: (2022)

Probabilistic program inference in network-based epidemiological simulations
de réir: Smedemark-Margulies, Niklas, et al.
Foilsithe / Cruthaithe: (2022)

Scalable Structure Learning, Inference, and Analysis with Probabilistic Programs
de réir: Saad, Feras Ahmad Khaled
Foilsithe / Cruthaithe: (2023)

Probabilistic inference in the era of tensor networks and differential programming
de réir: Martin Roa-Villescas, et al.
Foilsithe / Cruthaithe: (2024-09-01)

Probabilistic program inference in network-based epidemiological simulations.
de réir: Niklas Smedemark-Margulies, et al.
Foilsithe / Cruthaithe: (2022-11-01)

ToolPhet: Inference of Compiler Provenance From Stripped Binaries With Emerging Compilation Toolchains
de réir: Hohyeon Jang, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Bayesian Optimization for Probabilistic Programs
de réir: Rainforth, T, et al.
Foilsithe / Cruthaithe: (2016)

Quantitative Inference in a Mechanical Design Compiler
de réir: Ward, Allen C., et al.
Foilsithe / Cruthaithe: (2004)

Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
de réir: Cusumano-Towner, Marco F., et al.
Foilsithe / Cruthaithe: (2018)

Inference Plans for Hybrid Probabilistic Inference
de réir: Cheng, Ellie Y.
Foilsithe / Cruthaithe: (2024)

Evaluating probabilistic programming and fast variational Bayesian inference in phylogenetics
de réir: Mathieu Fourment, et al.
Foilsithe / Cruthaithe: (2019-12-01)

Practical probabilistic inference
de réir: Morris, Quaid Donald Jozef, 1972-
Foilsithe / Cruthaithe: (2006)

Universal compilation for quantum state tomography
de réir: Vu Tuan Hai, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Etalumis: bringing probabilistic programming to scientific simulators at scale
de réir: Baydin, AG, et al.
Foilsithe / Cruthaithe: (2019)

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
de réir: Zaiser, F
Foilsithe / Cruthaithe: (2024)

Composable Probabilistic Inference with Blaise
de réir: Bonawitz, Keith A
Foilsithe / Cruthaithe: (2008)

Composable probabilistic inference with BLAISE
de réir: Bonawitz, Keith A. (Keith Allen), 1980-
Foilsithe / Cruthaithe: (2009)

Protein side-chain placement: probabilistic inference and integer programming methods
de réir: Hong, Eun-Jong, et al.
Foilsithe / Cruthaithe: (2003)

Static posterior inference of Bayesian probabilistic programming via polynomial solving
de réir: Wang, Peixin, et al.
Foilsithe / Cruthaithe: (2024)

Fast and correct variational inference for probabilistic programming: Differentiability, reparameterisation and smoothing
de réir: Wagner, D
Foilsithe / Cruthaithe: (2023)

Probabilistic Inference for Machine Translation
de réir: Blunsom, P, et al.
Foilsithe / Cruthaithe: (2008)

Probabilistic Inference for Dynamical Systems
de réir: Sergio Davis, et al.
Foilsithe / Cruthaithe: (2018-09-01)

Assemblers, compilers, and program translation /
de réir: 424300 Calingaert, Peter
Foilsithe / Cruthaithe: (1979)

Compiling Probabilistic, Bio-Inspired Circuits on a Field Programmable Analog Array
de réir: H. Bo eMarr, et al.
Foilsithe / Cruthaithe: (2014-05-01)

Compiling Shared Variable Programs into CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2001)

A Theory of Quantitative Inference Applied to a Mechanical Design Compiler
de réir: Ward, Allen C.
Foilsithe / Cruthaithe: (2004)

Softstar: Heuristic-guided probabilistic inference
de réir: Monfort, Mathew, et al.
Foilsithe / Cruthaithe: (2017)

Maximum a posteriori estimation by search in probabilistic programs
de réir: Tolpin, D, et al.
Foilsithe / Cruthaithe: (2015)

Stochastic Digital Circuits for Probabilistic Inference
de réir: Tenenbaum, Joshua B., et al.
Foilsithe / Cruthaithe: (2008)