2020
DOI: 10.1017/9781108770750
|View full text |Cite
|
Sign up to set email alerts
|

Foundations of Probabilistic Programming

Abstract: What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and math… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
5
2

Relationship

0
7

Authors

Journals

citations
Cited by 24 publications
(3 citation statements)
references
References 280 publications
(461 reference statements)
0
3
0
Order By: Relevance
“…The upper part of the model is the chain from [3]. The parameters n and p can be chosen appropriately for any ε such that if standard value iteration is stopped when the latest change was smaller than ε, then the final approximation of the probability of reaching a target from s 0 is less than 5 8 , while the real probability is 1.…”
Section: Figure 4: Example Model For Refinement Problem With Standard...mentioning
confidence: 99%
“…The upper part of the model is the chain from [3]. The parameters n and p can be chosen appropriately for any ε such that if standard value iteration is stopped when the latest change was smaller than ε, then the final approximation of the probability of reaching a target from s 0 is less than 5 8 , while the real probability is 1.…”
Section: Figure 4: Example Model For Refinement Problem With Standard...mentioning
confidence: 99%
“…One of the main reasons for considering probabilistic models is that they often allow for the design of more efficient algorithms than their deterministic counterparts (see e.g. [6,23,25]). Another avenue for the design of efficient algorithms has been opened up by Sleator and Tarjan [34,36] with their introduction of the notion of amortised complexity.…”
Section: Introductionmentioning
confidence: 99%
“…Probabilistic programming obviates the need to manually provide inference methods for different stochastic models and enables rapid prototyping [1,2]. Automated formal verification of probabilistic programs, however, is still in its infancy.…”
Section: Introductionmentioning
confidence: 99%