Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Church: a language for generative models   We introduce Church, a universal language for describing stochastic
generative processes. Church is based on the Lisp model of lambda calculus,
containing a pure Lisp as its deterministic subset. The semantics of Church is
defined in terms of evaluation histories and conditional distributions on such
histories. Church also includes a novel language construct, the stochastic
memoizer, which enables simple description of many complex non-parametric
models. We illustrate language features through several examples, including: a
generalized Bayes net in which parameters cluster over trials, infinite PCFGs,
planning by inference, and various non-parametric clustering models. Finally,
we show how to implement query on any Church program, exactly and
approximately, using Monte Carlo techniques.

0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con