Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Probabilistic Programs with Stochastic Conditioning   We tackle the problem of conditioning probabilistic programs on distributions
of observable variables. Probabilistic programs are usually conditioned on
samples from the joint data distribution, which we refer to as deterministic
conditioning. However, in many real-life scenarios, the observations are given
as marginal distributions, summary statistics, or samplers. Conventional
probabilistic programming systems lack adequate means for modeling and
inference in such scenarios. We propose a generalization of deterministic
conditioning to stochastic conditioning, that is, conditioning on the marginal
distribution of a variable taking a particular form. To this end, we first
define the formal notion of stochastic conditioning and discuss its key
properties. We then show how to perform inference in the presence of stochastic
conditioning. We demonstrate potential usage of stochastic conditioning on
several case studies which involve various kinds of stochastic conditioning and
are difficult to solve otherwise. Although we present stochastic conditioning
in the context of probabilistic programming, our formalization is general and
applicable to other settings.

32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an