Instruct: Identify the main and secondary category of Arxiv papers based on the titles
Query: Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better
  Models, Faster Proofs
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
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
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an