Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Moment-based Invariants for Probabilistic Loops with Non-polynomial
  Assignments   We present a method to automatically approximate moment-based invariants of
probabilistic programs with non-polynomial updates of continuous state
variables to accommodate more complex dynamics. Our approach leverages
polynomial chaos expansion to approximate non-linear functional updates as sums
of orthogonal polynomials. We exploit this result to automatically estimate
state-variable moments of all orders in Prob-solvable loops with non-polynomial
updates. We showcase the accuracy of our estimation approach in several
examples, such as the turning vehicle model and the Taylor rule in monetary
policy.

7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph