Table of Contents
Fetching ...

Iterative Deployment Improves Planning Skills in LLMs

Augusto B. Corrêa, Yoav Gelberg, Luckeciano C. Melo, Ilia Shumailov, André G. Pereira, Yarin Gal

TL;DR

This work tackles how to boost long-horizon planning in LLMs without external planners or explicit demonstrations by introducing iterative deployment: each generation $M_n$ is deployed, its valid traces (as judged by an external validator $V$) are collected into a growing dataset $\mathcal{T}_{n+1}$, and $M_{n+1}$ is obtained by supervised fine-tuning on this curated data. The authors prove that this SFT-on-valid-traces setup is equivalent to REINFORCE with a binary implicit reward $R(x,y)\in\{0,1\}$, and that mixing on- and off-policy traces yields an importance-weighted REINFORCE update, connecting the mechanism to RL in the outer loop. Empirically, they validate on classical planning benchmarks (Blocksworld, Rovers, Sokoban) using a 4B base model and observe substantial gains: after five deploys, performance more than doubles across domains and longer-horizon plans emerge, indicating out-of-distribution generalization. The paper also discusses AI-safety implications of implicit rewards and biases in external validators, arguing that iterative deployment can offer a viable RL-like training alternative while highlighting the need to study its safety and robustness characteristics.

Abstract

We show that iterative deployment of large language models (LLMs), each fine-tuned on data carefully curated by users from the previous models' deployment, can significantly change the properties of the resultant models. By testing this mechanism on various planning domains, we observe substantial improvements in planning skills, with later models displaying emergent generalization by discovering much longer plans than the initial models. We then provide theoretical analysis showing that iterative deployment effectively implements reinforcement learning (RL) training in the outer-loop (i.e. not as part of intentional model training), with an implicit reward function. The connection to RL has two important implications: first, for the field of AI safety, as the reward function entailed by repeated deployment is not defined explicitly, and could have unexpected implications to the properties of future model deployments. Second, the mechanism highlighted here can be viewed as an alternative training regime to explicit RL, relying on data curation rather than explicit rewards.

Iterative Deployment Improves Planning Skills in LLMs

TL;DR

This work tackles how to boost long-horizon planning in LLMs without external planners or explicit demonstrations by introducing iterative deployment: each generation is deployed, its valid traces (as judged by an external validator ) are collected into a growing dataset , and is obtained by supervised fine-tuning on this curated data. The authors prove that this SFT-on-valid-traces setup is equivalent to REINFORCE with a binary implicit reward , and that mixing on- and off-policy traces yields an importance-weighted REINFORCE update, connecting the mechanism to RL in the outer loop. Empirically, they validate on classical planning benchmarks (Blocksworld, Rovers, Sokoban) using a 4B base model and observe substantial gains: after five deploys, performance more than doubles across domains and longer-horizon plans emerge, indicating out-of-distribution generalization. The paper also discusses AI-safety implications of implicit rewards and biases in external validators, arguing that iterative deployment can offer a viable RL-like training alternative while highlighting the need to study its safety and robustness characteristics.

Abstract

We show that iterative deployment of large language models (LLMs), each fine-tuned on data carefully curated by users from the previous models' deployment, can significantly change the properties of the resultant models. By testing this mechanism on various planning domains, we observe substantial improvements in planning skills, with later models displaying emergent generalization by discovering much longer plans than the initial models. We then provide theoretical analysis showing that iterative deployment effectively implements reinforcement learning (RL) training in the outer-loop (i.e. not as part of intentional model training), with an implicit reward function. The connection to RL has two important implications: first, for the field of AI safety, as the reward function entailed by repeated deployment is not defined explicitly, and could have unexpected implications to the properties of future model deployments. Second, the mechanism highlighted here can be viewed as an alternative training regime to explicit RL, relying on data curation rather than explicit rewards.
Paper Structure (30 sections, 5 theorems, 24 equations, 6 figures, 5 tables)

This paper contains 30 sections, 5 theorems, 24 equations, 6 figures, 5 tables.

Key Result

Proposition 1

The update directions of the gradients for SFT using only valid traces and REINFORCE with binary rewards are identical.

Figures (6)

  • Figure 1: Single iteration of the iterative deployment mechanism for planning. Using a fixed a set of planning tasks, we prompt the current version of the LLM --- referred to as the generation $n$ of the model --- to solve these tasks. An external validator (e.g. a human using a chatbot, or a computer programme in the case of planning) identifies the tasks solved correctly. Their traces and plans, together with the traces and plans from tasks solved by previous generations, are then used to fine-tune generation $n$, producing generation $n+1$ of the model.
  • Figure 2: Summary of our main results. Number of solved tasks (with 1000 tasks per domain) for three different domains when comparing the base model with later deployed generations (generations 1, 2, and 5). Average over three separate runs. In all domains, the fifth generation more than doubles the performance of the base model.
  • Figure 3: Performance of different generations for the different domains tested.
  • Figure 4: Plan length frequency of different generations for the Blocksworld and Sokoban domain.
  • Figure 5: Performance across generations for Rovers. The $y$-axis represents the plan length of the plans found by each generation, while the $x$-axis shows the cumulative number of solved instances sorted by plan length.
  • ...and 1 more figures

Theorems & Definitions (8)

  • Proposition 1
  • Proposition 2
  • Proposition 3
  • proof
  • Proposition 1
  • proof
  • Proposition 2
  • proof