Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange
  Interpolation   We apply multivariate Lagrange interpolation to synthesize polynomial
quantitative loop invariants for probabilistic programs. We reduce the
computation of an quantitative loop invariant to solving constraints over
program variables and unknown coefficients. Lagrange interpolation allows us to
find constraints with less unknown coefficients. Counterexample-guided
refinement furthermore generates linear constraints that pinpoint the desired
quantitative invariants. We evaluate our technique by several case studies with
polynomial quantitative loop invariants in the experiments.

12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
2
The categories of this paper are: math
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph