Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in
  the Style of Alpha(Go) Zero   Despite the recent successes of deep neural networks in various fields such
as image and speech recognition, natural language processing, and reinforcement
learning, we still face big challenges in bringing the power of numeric
optimization to symbolic reasoning. Researchers have proposed different avenues
such as neural machine translation for proof synthesis, vectorization of
symbols and expressions for representing symbolic patterns, and coupling of
neural back-ends for dimensionality reduction with symbolic front-ends for
decision making. However, these initial explorations are still only point
solutions, and bear other shortcomings such as lack of correctness guarantees.
In this paper, we present our approach of casting symbolic reasoning as games,
and directly harnessing the power of deep reinforcement learning in the style
of Alpha(Go) Zero on symbolic problems. Using the Boolean Satisfiability (SAT)
problem as showcase, we demonstrate the feasibility of our method, and the
advantages of modularity, efficiency, and correctness guarantees.

12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess