Subgoal Search For Complex Reasoning Tasks
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 21 papers in the map (data through 14 Oct 2026). Builds on 32 of its 78 references that are in the map. First posted on arXiv 25 Aug 2021.
Builds on
32 of 78 references.
References · 32
- 2017Attention Is All You Needcited by 60,361
- 2019HuggingFace's Transformers: State-of-the-art Natural Language Processingcited by 2,218
- 2017Hindsight Experience Replaycited by 1,136
- 2020Multilingual Denoising Pre-training for Neural Machine Translationcited by 1,035
- 2017Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithmcited by 734
- 2018Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizoncited by 623
- 2020Generative Language Modeling for Automated Theorem Provingcited by 388
- 2017FeUdal Networks for Hierarchical Reinforcement Learningcited by 337
- 2017Automatic Goal Generation for Reinforcement Learning Agentscited by 259
- 2018Semi-parametric Topological Memory for Navigationcited by 209
- 2019Planning with Goal-Conditioned Policiescited by 149
- 2017Imagination-Augmented Agents for Deep Reinforcement Learningcited by 140
20 more
- 2021Goal-Conditioned Reinforcement Learning with Imagined Subgoalscited by 134
- 2020Maximum Entropy Gain Exploration for Long Horizon Multi-goal Reinforcement Learningcited by 102
- 2019Hierarchical Foresight: Self-Supervised Learning of Long-Horizon Tasks via Visual Subgoal Generationcited by 83
- 2020World Model as a Graph: Learning Latent Landmarks for Planningcited by 69
- 2019An investigation of model-free planningcited by 66
- 2020Long-Horizon Visual Planning with Goal-Conditioned Hierarchical Predictorscited by 62
- 2017Classical Planning in Deep Latent Space: Bridging the Subsymbolic-Symbolic Boundarycited by 58
- 2018Learning Plannable Representations with Causal InfoGANcited by 57
- 2020On the role of planning in model-based deep reinforcement learningcited by 57
- 2020INT: An Inequality Benchmark for Evaluating Generalization in Theorem Provingcited by 44
- 2019Variational Temporal Abstractioncited by 38
- 2018Time-Agnostic Prediction: Predicting Predictable Video Framescited by 37
- 2019Learning from Trajectories via Subgoal Discoverycited by 28
- 2021Discovery of Options via Meta-Learned Subgoalscited by 27
- 2020Hallucinative Topological Memory for Zero-Shot Visual Planningcited by 25
- 2019Dynamics Learning with Cascaded Variational Inference for Multi-Step Manipulationcited by 24
- 2017Intention-Net: Integrating Planning and Deep Learning for Goal-Directed Autonomous Navigationcited by 20
- 2019Keyframing the Future: Keyframe Discovery for Visual Prediction and Planningcited by 20
- 2020Divide-and-Conquer Monte Carlo Tree Search For Goal-Directed Planningcited by 19
- 2019Uncertainty-sensitive Learning and Planning with Ensemblescited by 4
Built on by
Citing papers per year: 2021: 1; 2022: 6; 2023: 4; 2024: 4; 2025: 5; 2026: 1.
21 papers.
Sort:
By area:
- 2022Formal Mathematics Statement Curriculum Learningcited by 142
- 2021Landmark-Guided Subgoal Generation in Hierarchical Reinforcement Learningcited by 47
- 2024Proving Theorems Recursivelycited by 26
- 2023Hierarchical Imitation Learning with Vector Quantized Modelscited by 15
- 2022Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Searchcited by 12
- 2025Flattening Hierarchies with Policy Bootstrappingcited by 11
- 2022Subgoal-Based Explanations for Unreliable Intelligent Decision Support Systemscited by 6
- 2023Hybrid Search for Efficient Planning with Completeness Guaranteescited by 6
- 2025Contrastive Representations for Temporal Reasoningcited by 6
- 2023Unifying Structure Reasoning and Language Model Pre-training for Complex Reasoningcited by 4
- 2023Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learningcited by 4
- 2025OptionZero: Planning with Learned Optionscited by 2
9 more
- 2022Generalizing to New Tasks via One-Shot Compositional Subgoalscited by 1
- 2024tsGT: Stochastic Time Series Modeling With Transformercited by 1
- 2024What Matters in Hierarchical Search for Combinatorial Reasoning Problems?cited by 1
- 2025Solving Sokoban using Hierarchical Reinforcement Learning with Landmarkscited by 1
- 2022Graph Value Iterationcited by 0
- 2022Multi-Task Option Learning and Discovery for Stochastic Path Planningcited by 0
- 2024Bidirectional-Reachable Hierarchical Reinforcement Learning with Mutually Responsive Policiescited by 0
- 2025DHP: Discrete Hierarchical Planning for Hierarchical Reinforcement Learning Agentscited by 0
- 2026Structure-Induced Information for Rerooting Levin Tree Searchcited by 0
- 2026Structure-Induced Information for Rerooting Levin Tree Search28 May 2026
- 2025Contrastive Representations for Temporal Reasoning18 Aug 2025
- 2025Flattening Hierarchies with Policy Bootstrapping20 May 2025
- 2025Solving Sokoban using Hierarchical Reinforcement Learning with Landmarks6 Apr 2025
- 2025OptionZero: Planning with Learned Options23 Feb 2025
- 2025DHP: Discrete Hierarchical Planning for Hierarchical Reinforcement Learning Agents4 Feb 2025
- 2024Bidirectional-Reachable Hierarchical Reinforcement Learning with Mutually Responsive Policies26 Jun 2024
- 2024What Matters in Hierarchical Search for Combinatorial Reasoning Problems?5 Jun 2024
- 2024Proving Theorems Recursively23 May 2024
- 2024tsGT: Stochastic Time Series Modeling With Transformer8 Mar 2024
- 2023Hybrid Search for Efficient Planning with Completeness Guarantees19 Oct 2023
- 2023Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learning30 Sep 2023
9 more
- 2023Hierarchical Imitation Learning with Vector Quantized Models30 Jan 2023
- 2023Unifying Structure Reasoning and Language Model Pre-training for Complex Reasoning21 Jan 2023
- 2022Multi-Task Option Learning and Discovery for Stochastic Path Planning30 Sep 2022
- 2022Graph Value Iteration20 Sep 2022
- 2022Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search1 Jun 2022
- 2022Generalizing to New Tasks via One-Shot Compositional Subgoals16 May 2022
- 2022Formal Mathematics Statement Curriculum Learning3 Feb 2022
- 2022Subgoal-Based Explanations for Unreliable Intelligent Decision Support Systems11 Jan 2022
- 2021Landmark-Guided Subgoal Generation in Hierarchical Reinforcement Learning26 Oct 2021
- 2025OptionZero: Planning with Learned Optionscited by 2
- 2025Solving Sokoban using Hierarchical Reinforcement Learning with Landmarkscited by 1
- 2024Bidirectional-Reachable Hierarchical Reinforcement Learning with Mutually Responsive Policiescited by 0
- 2025DHP: Discrete Hierarchical Planning for Hierarchical Reinforcement Learning Agentscited by 0
- 2025Solving Sokoban using Hierarchical Reinforcement Learning with Landmarks6 Apr 2025
- 2025OptionZero: Planning with Learned Options23 Feb 2025
- 2025DHP: Discrete Hierarchical Planning for Hierarchical Reinforcement Learning Agents4 Feb 2025
- 2024Bidirectional-Reachable Hierarchical Reinforcement Learning with Mutually Responsive Policies26 Jun 2024
- 2025Flattening Hierarchies with Policy Bootstrappingcited by 11
- 2025Flattening Hierarchies with Policy Bootstrapping20 May 2025
- 2022Formal Mathematics Statement Curriculum Learningcited by 142
- 2021Landmark-Guided Subgoal Generation in Hierarchical Reinforcement Learningcited by 47
- 2024Proving Theorems Recursivelycited by 26
- 2022Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Searchcited by 12
- 2022Subgoal-Based Explanations for Unreliable Intelligent Decision Support Systemscited by 6
- 2023Hybrid Search for Efficient Planning with Completeness Guaranteescited by 6
- 2023Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learningcited by 4
- 2024tsGT: Stochastic Time Series Modeling With Transformercited by 1
- 2024What Matters in Hierarchical Search for Combinatorial Reasoning Problems?cited by 1
- 2022Graph Value Iterationcited by 0
- 2022Multi-Task Option Learning and Discovery for Stochastic Path Planningcited by 0
- 2026Structure-Induced Information for Rerooting Levin Tree Searchcited by 0
- 2026Structure-Induced Information for Rerooting Levin Tree Search28 May 2026
- 2024What Matters in Hierarchical Search for Combinatorial Reasoning Problems?5 Jun 2024
- 2024Proving Theorems Recursively23 May 2024
- 2024tsGT: Stochastic Time Series Modeling With Transformer8 Mar 2024
- 2023Hybrid Search for Efficient Planning with Completeness Guarantees19 Oct 2023
- 2023Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learning30 Sep 2023
- 2022Multi-Task Option Learning and Discovery for Stochastic Path Planning30 Sep 2022
- 2022Graph Value Iteration20 Sep 2022
- 2022Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search1 Jun 2022
- 2022Formal Mathematics Statement Curriculum Learning3 Feb 2022
- 2022Subgoal-Based Explanations for Unreliable Intelligent Decision Support Systems11 Jan 2022
- 2021Landmark-Guided Subgoal Generation in Hierarchical Reinforcement Learning26 Oct 2021