Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Functional probabilistic programming for scalable Bayesian modelling   Bayesian inference involves the specification of a statistical model by a
statistician or practitioner, with careful thought about what each parameter
represents. This results in particularly interpretable models which can be used
to explain relationships present in the observed data. Bayesian models are
useful when an experiment has only a small number of observations and in
applications where transparency of data driven decisions is important.
Traditionally, parameter inference in Bayesian statistics has involved
constructing bespoke MCMC (Markov chain Monte Carlo) schemes for each newly
proposed statistical model. This results in plausible models not being
considered since efficient inference schemes are challenging to develop or
implement. Probabilistic programming aims to reduce the barrier to performing
Bayesian inference by developing a domain specific language (DSL) for model
specification which is decoupled from the parameter inference algorithms. This
paper introduces functional programming principles which can be used to develop
an embedded probabilistic programming language. Model inference can be carried
out using any generic inference algorithm. In this paper Hamiltonian Monte
Carlo (HMC) is used, an efficient MCMC method requiring the gradient of the
un-normalised log-posterior, calculated using automatic differentiation. The
concepts are illustrated using the Scala programming language.

28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas