Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Edit and verify   Automated theorem provers are used in extended static checking, where they
are the performance bottleneck. Extended static checkers are run typically
after incremental changes to the code. We propose to exploit this usage pattern
to improve performance. We present two approaches of how to do so and a full
solution.

22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph