Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Subgoal Search For Complex Reasoning Tasks   Humans excel in solving complex reasoning tasks through a mental process of
moving from one idea to a related one. Inspired by this, we propose Subgoal
Search (kSubS) method. Its key component is a learned subgoal generator that
produces a diversity of subgoals that are both achievable and closer to the
solution. Using subgoals reduces the search space and induces a high-level
search graph suitable for efficient planning. In this paper, we implement kSubS
using a transformer-based subgoal module coupled with the classical best-first
search framework. We show that a simple approach of generating $k$-th step
ahead subgoals is surprisingly efficient on three challenging domains: two
popular puzzle games, Sokoban and the Rubik's Cube, and an inequality proving
benchmark INT. kSubS achieves strong results including state-of-the-art on INT
within a modest computational budget.

8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph