Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Literature Review: Smart Contract Semantics   This review presents and evaluates various formalisms for the purpose of
modelling the semantics of financial derivatives contracts. The formalism
proposed by Lee is selected as the best candidate among those initially
reviewed. Further examination and evaluation of this formalism is done.

7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol