paper-with-me

Papers

Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping

2024-02-21 · Lucas Lehnert, Sainbayar Sukhbaatar, DiJia Su, Qinqing Zheng, Paul McVay, Michael Rabbat, Yuandong Tian

While Transformers have enabled tremendous progress in various application settings, such architectures still trail behind traditional symbolic planners for solving complex decision making tasks. In this work, we demonstrate how to train Transformers to solve complex planning tasks. This is accomplished by training an encoder-decoder Transformer model to predict the search dynamics of the $A^*$ search algorithm. We fine tune this model to obtain a Searchformer, a Transformer model that optimally solves previously unseen Sokoban puzzles 93.7% of the time, while using up to 26.8% fewer search steps than the $A^*$ implementation that was used for training initially. In our training method, $A^*$'s search dynamics are expressed as a token sequence outlining when task states are added and removed into the search tree during symbolic planning. Searchformer significantly outperforms baselines that predict the optimal plan directly with a 5-10$\times$ smaller model size and a 10$\times$ smaller training dataset. Lastly, we demonstrate how Searchformer scales to larger and more complex decision making tasks with improved percentage of solved tasks and shortened search dynamics.

📄 PDF Abstract BibTeX arXiv:2402.14083

Code (1)

facebookresearch/searchformer 공식 구현 pytorch

Tasks

Decision MakingDecoderSokoban

Methods 이 논문이 사용한 방법론

Attention 설명 없음
Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.
Dense Connections Dense Connections, or Fully Connected Connections, are a type of layer in a deep neural network that use a linear operation where every input is connected to every output…
Label Smoothing Label Smoothing is a regularization technique that introduces noise for the labels. This accounts for the fact that datasets may have mistakes in them, so maximizing the…
Adam 설명 없음
Softmax The Softmax output function transforms a previous layer's output into a vector of probabilities. It is commonly used for multiclass classification. Given an input vector $x$…
Multi-Head Attention 설명 없음
Layer Normalization Unlike batch normalization, Layer Normalization directly estimates the normalization statistics from the summed inputs…

Similar Papers 제목 키워드 기반

QT-TDM: Planning With Transformer Dynamics Model and Autoregressive Q-Learning

2024-07-26 · Mostafa Kotb, Cornelius Weber, Muhammad Burhan Hafez, Stefan Wermter

Inspired by the success of the Transformer architecture in natural language processing and computer vision, we investigate the use of Transformers in Reinforcement Learning (RL), specifically in modeling the environment'…

continuous-controlContinuous ControlModel Predictive ControlQ-Learning+1

Amortized Planning with Large-Scale Transformers: A Case Study on Chess

2024-02-07 · Anian Ruoss, Grégoire Delétang, Sourabh Medapati, Jordi Grau-Moya 외

This paper uses chess, a landmark planning problem in AI, to assess transformers' performance on a planning task where memorization is futile $\unicode{x2013}$ even at a large scale. To this end, we release ChessBench, a…

Memorization

Symmetry-Aware Transformer Training for Automated Planning

2025-08-11 · Markus Fritzsche, Elliot Gestrin, Jendrik Seipp arxiv

While transformers excel in many settings, their application in the field of automated planning is limited. Prior work like PlanGPT, a state-of-the-art decoder-only transformer, struggles with extrapolation from easy to …

Contrastive Learning

Latent Geometry Beyond Search: Amortizing Planning in World Models

2026-05-09 · Hoang Nguyen, Xiaohao Xu, Xiaonan Huang arxiv

Modern vision-based world models can represent observations as compact yet expressive latent manifolds, but fast goal-oriented planning in these spaces remains challenging. This raises a central question: when does a lea…

Continuous Control

Interpreting the Learned Model in MuZero Planning

2024-11-07 · Hung Guei, Yan-Ru Ju, Wei-Yu Chen, Ti-Rong Wu

MuZero has achieved superhuman performance in various games by using a dynamics network to predict environment dynamics for planning, without relying on simulators. However, the latent states learned by the dynamics netw…

Atari GamesBoard Gamesmodel