A domain theory for statistical probabilistic programming

A domain theory for statistical probabilistic programming

<p>We give an adequate denotational semantics for languages with recursive higher-order types, continuous probability distributions, and soft constraints. These are expressive languages for building Bayesian models of the kinds used in computational statistics and machine learning. Among them...

Detaylı Bibliyografya
Asıl Yazarlar:	Vákár, M, Kammar, O, Staton, S
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	Association for Computing Machinery 2019

Benzer Materyaller

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Yazar:: Yang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Commutative semantics for probabilistic programming
Yazar:: Staton, S
Baskı/Yayın Bilgisi: (2017)

Probabilistic programming with exact conditions
Yazar:: Stein, D, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

A convenient category for higher-order probability theory
Yazar:: Heunen, C, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Compositional semantics for probabilistic programs with exact conditioning
Yazar:: Stein, D, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Probabilistic programming semantics for name generation
Yazar:: Sabok, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Interpreting lion behaviour with nonparametric probabilistic programs
Yazar:: Dhir, N, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Correctness of automatic differentiation via diffeologies and categorical gluing
Yazar:: Huot, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Higher order automatic differentiation of higher order functions
Yazar:: Huot, M, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Linking Theories in Probabilistic Programming
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

ADEV: Sound Automatic Differentiation of Expected Values of probabilistic programs
Yazar:: Lew, AK, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Denotational validation of higher-order Bayesian inference
Yazar:: Scibior, A, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Higher Order Automatic Differentiation of Higher Order Functions
Yazar:: Mathieu Huot, ve diğerleri
Baskı/Yayın Bilgisi: (2022-03-01)

A monad for full ground reference cells
Yazar:: Kammar, O, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
Yazar:: Lew, Alexander K., ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Monads for measurable queries in probabilistic databases
Yazar:: Dash, S, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Universal probabilistic programming offers a powerful approach to statistical phylogenetics
Yazar:: Fredrik Ronquist, ve diğerleri
Baskı/Yayın Bilgisi: (2021-02-01)

STATIC, DYNAMIC AND STATISTIC LAWS AND THEORIES OF LANGUAGE: MECHANISTIC AND PROBABILISTIC DETERMINISM
Yazar:: Nekipelova Irina Mikhaylovna
Baskı/Yayın Bilgisi: (2013-02-01)

PClean : Bayesian data cleaning at scale with domain-specific probabilistic programming
Yazar:: Lew, Alexander K.
Baskı/Yayın Bilgisi: (2021)

Statistical theory of probabilistic hazard maps: a probability distribution for the hazard boundary location
Yazar:: D. M. Hyman, ve diğerleri
Baskı/Yayın Bilgisi: (2019-07-01)

QRB-Domains and the Probabilistic Powerdomain
Yazar:: Jean Goubault-Larrecq
Baskı/Yayın Bilgisi: (2012-02-01)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
Yazar:: Ackerman, NL, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Probabilistic data analysis with probabilistic programming
Yazar:: Saad, Feras Ahmad Khaled
Baskı/Yayın Bilgisi: (2018)

Publisher Correction: Universal probabilistic programming offers a powerful approach to statistical phylogenetics
Yazar:: Fredrik Ronquist, ve diğerleri
Baskı/Yayın Bilgisi: (2021-03-01)

Reliability : probabilistic models and statistical methods /
Yazar:: 253568 Leemis, Lawrence M.
Baskı/Yayın Bilgisi: (1995)

Probabilistic programming /
Yazar:: 314398 Vadja, Stefan
Baskı/Yayın Bilgisi: (1972)

PROBABILISTIC-STATISTICAL MODEL OF CHILDREN’S HEALTH
Yazar:: S.M. Chechel’nitskaya, ve diğerleri
Baskı/Yayın Bilgisi: (2009-07-01)

PROBABILISTIC-STATISTICAL MODEL OF CHILDREN’S HEALTH
Yazar:: S.M. Chechel’nitskaya, ve diğerleri
Baskı/Yayın Bilgisi: (2009-01-01)

Probabilistic and Statistical Analysis of Perforated Patterns
Yazar:: Misailovic, Sasa, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
Yazar:: Ackerman, Nate, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Probabilistic integration: A role in statistical computation?
Yazar:: Briol, F, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Probabilistic Reasoning in the Domain of Genetic Counseling
Yazar:: Harris, Nomi L.
Baskı/Yayın Bilgisi: (2023)

Probabilistic Monads, Domains and Classical Information
Yazar:: Michael Mislove
Baskı/Yayın Bilgisi: (2012-07-01)

The probabilistic-statistical modeling of the external climate in the cooling period
Yazar:: O.D. Samarin
Baskı/Yayın Bilgisi: (2017-09-01)

Statistical Approaches for Probabilistic Model Checking
Yazar:: Nimal, V
Baskı/Yayın Bilgisi: (2010)

Probabilistic and statistical methods in engineering geology/
Yazar:: 339353 Einstein, Herbert H., ve diğerleri
Baskı/Yayın Bilgisi: (1983)

Statistical and probabilistic methods in actuarial science /
Yazar:: 286598 Boland, Philip J.
Baskı/Yayın Bilgisi: (2007)

Probabilistic and statistical approaches in underground construction /
Yazar:: 339353 Einstein, Herbert H.
Baskı/Yayın Bilgisi: (1983)

Probabilistic-statistical model of insurance capital
Yazar:: Oleg Gennadievich Gorbachev
Baskı/Yayın Bilgisi: (2012-03-01)

Statistical Λ-Convergence in Probabilistic Normed Spaces
Yazar:: M. Aldhaifallah, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)