Graham Neubig · Published 2026-09-25

CMU AI Agents 2026: 5. Planning, Task Decomposition, and Multi-Agent Coordination

Open on YouTube ↗

Summary

Overview

  • Speaker: Daniel Fried
  • Channel: Graham Neubig
  • Main topic: Planning, Task Decomposition, and Multi-Agent Coordination in LLM Agents
  • Purpose: To educate students on how AI agents plan, decompose tasks into sub-goals, and coordinate in multi-agent workflows. The lecture covers planning, task decomposition, and multi-agent coordination for language model agents. It discusses how agents form representations of future work, the role of chain-of-thought, subtask decomposition, and modularity in agentic systems, comparing them with classical AI planning (STRIPS/PDDL) and highlighting trade-offs between planning upfront versus reactive execution.

Topic Map

Introduction to Planning and Task Decomposition

  • Explanation: Overview of planning as an agent's representation of future behavior, drawing on chain-of-thought and environmental feedback.
  • Key claims:
    • Plans must be revisable based on environmental feedback.
    • Planning bridges the gap between static instructions and dynamic execution.
  • Examples:
    • GPU workstation purchasing task involving multiple vendor searches, cluster compatibility checks, and procurement.
  • Terminology:
    • Planning
    • Task Decomposition
    • Chain-of-Thought
    • Multi-Agent System
  • Why it matters: Planning enables agents to handle long-horizon tasks and manage complex dependencies.

Chain-of-Thought as a Plan

  • Explanation: Examining how chain-of-thought generation serves as a primitive form of planning and extra computation for LLMs.
  • Key claims:
    • Chain-of-thought provides extra compute and a scratchpad for models.
    • Decomposing complex reasoning into sub-questions improves performance.
  • Examples:
    • Kojima et al. (2022) 'Let's think step by step' and Wang et al. (2023) decomposition approaches.
  • Terminology:
    • Chain-of-Thought
    • Decomposed Prompting
    • Least-to-Most Prompting
  • Why it matters: Understanding the foundation of planning in LLMs helps improve their reasoning capabilities.

Classical Planning vs. LLM Planning

  • Explanation: Comparing classical symbolic planning (STRIPS, PDDL) with implicit LLM planning.
  • Key claims:
    • Classical planning uses explicit predicates, preconditions, and effects.
    • LLM planning is implicit, leveraging vast pre-training knowledge rather than rigorous search.
  • Examples:
    • Blocks world domain with pick-up and put-down actions.
  • Terminology:
    • Classical Planning
    • STRIPS
    • PDDL
    • Preconditions
    • Effects
    • Implicit Planning
  • Why it matters: Highlights what is hard and what has changed when moving from symbolic AI to neural language agents.

Plan Representations and Workflows

  • Explanation: Discussing how plans are represented ranging from text, structured graphs, and code-based policies.
  • Key claims:
    • Code-based plans offer programmatic control and API calls.
    • Formal plans are checkable, while language plans are general.
  • Examples:
    • Cursor Plan Mode, Claude Code, and CodeX workflows.
  • Terminology:
    • Plan Representations
    • Code-Based Plans
    • Workflows
    • Permission Mode
  • Why it matters: Choosing the right plan representation affects checkability, flexibility, and execution success.

Modularity, Affordances, and Re-planning

  • Explanation: Exploring the decomposition of tasks across multiple specialized agents and the integration of feedback and value functions.
  • Key claims:
    • Separating planners from executors allows specialized model training.
    • Re-planning lets models adapt when execution reveals new information.
  • Examples:
    • SayCan affordance modeling and Voyager/Odysseys multi-agent architectures.
  • Terminology:
    • Modularity
    • Affordances
    • Value Functions
    • Re-planning
    • Execution Horizon
    • Overthinking
  • Why it matters: Structuring agents with modularity and re-planning improves success rates on long-horizon tasks.

Multi-Agent Coordination and Failures

  • Explanation: Analyzing multi-agent systems, fixed roles, handoffs, and long-horizon failure modes.
  • Key claims:
    • Stronger manager agents improve coordination and lift weaker workers.
    • Fixed multi-agent roles can suffer from rigid communication and context drops.
  • Examples:
    • Vending-Bench long-horizon task failures and OSWorld ablation studies.
  • Terminology:
    • Multi-Agent Coordination
    • Handoffs
    • Long-Horizon Failures
    • Vending-Bench
  • Why it matters: Identifies the limitations and pitfalls of multi-agent delegation and execution over extended periods.

Key Points

Planning is a moving target

  • Explanation: Agents must balance commitment to a course of action with flexibility to adapt to new environmental information.
  • Evidence: Agent tasks in dynamic environments like web browsing require continuous plan revision.
  • Practical implication: Agent design must incorporate mechanisms for error detection and re-planning.

Chain-of-Thought acts as a primitive plan

  • Explanation: Prompting models to think step-by-step or decompose tasks provides a scratchpad and extra compute before final execution.
  • Evidence: Studies like Least-to-Most Prompting show performance gains from subtask decomposition.
  • Practical implication: Use structured prompting or decomposition to handle multi-step reasoning tasks.

Classical vs. Neural Planning Trade-offs

  • Explanation: Classical planning is explicit and verifiable but brittle; LLM planning is implicit, flexible, but prone to hallucination and execution drift.
  • Evidence: Comparison of STRIPS/PDDL state representations against LLM generated natural language text.
  • Practical implication: Hybrid approaches combining programmatic structures with neural flexibility are often optimal.

Separating Planner from Executor

  • Explanation: Decomposing tasks into planning modules and execution modules allows the use of specialized models and better optimization.
  • Evidence: SayCan and related vision-only web agents separate high-level planning from low-level grounding.
  • Practical implication: Use strong reasoning models for planning and specialized models or APIs for execution.

Frameworks, Models & Processes

Classical Planning (STRIPS)

  • How it works:
  • Components:
    • States (predicates)
    • Actions
    • Preconditions
    • Effects
    • Goal state
  • When to use: When environment dynamics are fully known and verifiable logical correctness is required.

Code-Based Agentic Workflows

  • How it works:
  • Components:
    • Developer-defined procedure
    • Fixed list of actions/vendors
    • Model calls
    • Conditional execution
  • When to use: When tasks require structured, repeatable, and inspectable execution steps.

Multi-Agent Manager-Worker Framework

  • How it works:
  • Components:
    • Manager
    • DAG (Dependency Graph)
    • Parallel CUA Sub-agents
    • Follow-up/Replan loop
    • Summary/Deliverables
  • When to use: For complex, long-horizon tasks requiring specialized capabilities and parallelization.

Examples & Case Studies

An agent tasked with buying a GPU workstation iterates through multiple vendor sites, checks compatibility on a wiki, and handles supply chain lead time failures.

  • Illustrates: The necessity of reactive planning and re-planning when initial vendor options prove suboptimal.
  • Lesson: Agents cannot rely solely on upfront linear plans and must adapt to real-world feedback.

Applying Cursor Plan Mode to a software engineering task to generate a markdown checklist before implementation.

  • Illustrates: Human-in-the-loop plan review and editing before execution.
  • Lesson: Planning mode helps agents gather context and allows human verification, reducing expensive mistakes.

Evaluating multi-agent versus single-agent performance on OSWorld and WebTailBench.

  • Illustrates: Stronger manager models significantly improve coordination and boost the success rate of weaker worker models.
  • Lesson: Modularity and delegation can lift overall system performance without excessive cost increases.

Actionable Takeaways

  • Immediate:
    • Incorporate task decomposition and step-by-step reasoning in agent prompts.
    • Use plan modes or structured checklists to allow human oversight before agent execution.
  • Strategic:
    • Balance upfront planning with reactive re-planning based on environmental feedback.
    • Adopt modular multi-agent architectures (manager-worker) to handle complex, long-horizon tasks.
  • Questions to investigate:
    • When is planning worth the additional token compute cost?
    • How can we prevent multi-agent handoffs from dropping critical context?

Claims Worth Verifying

  • Overthinking in reasoning models correlates with lower issue resolution across benchmark datasets. (empirical research finding)
  • Adding a manager agent to weaker worker models lifts task success rates significantly on web navigation benchmarks. (empirical research finding)

Notable Quotes

"A plan is an explicit representation of intended future behavior: the actions or subgoals an agent will attempt, with any ordering or dependencies among them." (at 19:59) "Everybody has a plan until they get punched in the mouth." (at 22:04)

Compressed Summary

  • Planning structures future agent behavior and enables task decomposition.
  • Chain-of-thought acts as a foundational form of LLM planning.
  • Modularity and separation of planner from executor improve web and robotic task success.
  • Multi-agent manager-worker frameworks help coordinate long-horizon tasks.
  • Keywords: planning, task decomposition, multi-agent, chain-of-thought, modularity
  • Core insight: Effective AI agent design requires balancing structured planning and task decomposition with flexible re-planning and environmental feedback.

Core insights

6
Tradeoffmedium noveltymoderate evidence

Plan representation is an explicit architectural choice with a checkability/flexibility trade-off: formal or code-based plans are programmatically controllable, API-invoking, and inspectable, while natural-language plans are general but unverifiable.

Why it matters

Determines whether an agent's plan can be validated, permissioned, or resumed before execution — a core reliability and safety lever in production agent runtimes.

Generalization

Any agent framework must choose a plan IR (text, graph, or code); that choice dictates which verification, sandboxing, and observability mechanisms are even possible.

Code-based plans offer programmatic control and API calls.
Open source video
Formal plans are checkable, while language plans are general.
Open source video
Architecturemedium noveltymoderate evidence

Decomposing an agent into a planner module and an executor module enables specialized model training/selection — strong reasoning models for high-level planning, specialized models or APIs for grounded execution.

Why it matters

Allows independent optimization and swapping of the reasoning layer vs. the acting layer, unlike monolithic end-to-end agents.

Generalization

Modular boundaries should follow capability gradients: expensive reasoning where uncertainty is high, cheap/specialized execution where grounding is narrow.

Separating planners from executors allows specialized model training.
Open source video
Use strong reasoning models for planning and specialized models or APIs for execution.
Open source video
Mental Modelmedium noveltymoderate evidence

Classical symbolic planning (STRIPS/PDDL) and neural LLM planning occupy opposite corners: explicit/verifiable but brittle versus implicit/flexible but prone to hallucination and execution drift; hybrid designs are claimed optimal.

Why it matters

Frames why pure LLM planning fails on verifiable tasks and why pure symbolic planners fail in open environments.

Generalization

Wherever correctness must be guaranteed, wrap neural planning output in programmatic checkable structures rather than trusting free-text plans.

Classical planning is explicit and verifiable but brittle; LLM planning is implicit, flexible, but prone to hallucination and execution drift.
Open source video
Hybrid approaches combining programmatic structures with neural flexibility are often optimal.
Open source video
Mechanismmedium noveltymoderate evidence

Planning is not a one-shot artifact but a continuously revised commitment: agents must detect execution errors and re-plan, with re-planning driven by feedback and value/affordance signals.

Why it matters

Long-horizon success depends on the re-plan loop, not the initial plan — error detection is a first-class subsystem.

Generalization

Agent loops need explicit triggers distinguishing 'commit to plan' from 're-plan', otherwise they either thrash or get stuck.

Plans must be revisable based on environmental feedback.
Open source video
Re-planning lets models adapt when execution reveals new information.
Open source video
Agent design must incorporate mechanisms for error detection and re-planning.
Open source video
Failure Modemedium noveltymoderate evidence

Fixed multi-agent role assignments have a structural failure mode: rigid communication protocols and dropped context, while stronger manager agents measurably lift weaker worker agents.

Why it matters

Challenges the common assumption that more specialized fixed agents always help; the manager's reasoning quality is the coordination bottleneck.

Generalization

Coordination quality may matter more than role specialization — invest in the orchestrator before multiplying workers.

Stronger manager agents improve coordination and lift weaker workers.
Open source video
Fixed multi-agent roles can suffer from rigid communication and context drops.
Open source video
Mechanismlow noveltymoderate evidence

Chain-of-thought is a primitive planning substrate: it provides extra compute and a scratchpad, and decomposing reasoning into subtasks yields measurable gains, but extended planning introduces an execution-horizon / overthinking tension.

Why it matters

Links cheap prompting-time decomposition to genuine planning, while flagging that more plan tokens are not monotonically better.

Generalization

Planning depth should be budgeted against task horizon rather than maximized.

Chain-of-thought provides extra compute and a scratchpad for models.
Open source video
Studies like Least-to-Most Prompting show performance gains from subtask decomposition.
Open source video

Deep dives

5

Re-plan triggers and the commit-vs-replan control loop

Research question

Which concrete signals (value/affordance thresholds, execution anomalies, confidence drops, tool-error classes) should trigger a re-plan versus commitment to the current plan, and how does trigger policy shift long-horizon success and cost?

Why

The summary asserts error detection and re-planning are required runtime components but gives no mechanism or threshold, leaving the most consequential control decision in agent runtimes unspecified and untested.

Plans must be revisable based on environmental feedback.
Open source video
Agent design must incorporate mechanisms for error detection and re-planning.
Open source video
Re-planning lets models adapt when execution reveals new information.
Open source video
Source video

Plan representation as a first-class IR with checkability/flexibility trade-offs

Research question

Does choosing a code/formal plan representation over natural-language plans measurably improve execution success, pre-execution error detection, and static permissioning, and at what cost to generality on open-ended tasks?

Why

The choice of plan IR determines which verification, sandboxing, permissioning, and replay mechanisms are even possible before actions execute — a direct safety and reliability lever for production agent runtimes.

Code-based plans offer programmatic control and API calls.
Open source video
Formal plans are checkable, while language plans are general.
Open source video
Source video

Hybrid symbolic-neural planner interfaces

Research question

Can a planner that emits checkable formal structures from LLM proposals achieve high verification coverage without losing flexibility on open environments, and where exactly should the programmatic/neural boundary sit?

Why

The summary calls hybrid approaches 'often optimal' without specifying the interface, so the actionable engineering question — what crosses the symbolic/neural boundary and in which direction — remains unspecified.

Classical planning is explicit and verifiable but brittle; LLM planning is implicit, flexible, but prone to hallucination and execution drift.
Open source video
Hybrid approaches combining programmatic structures with neural flexibility are often optimal.
Open source video
Source video

Fixed vs dynamic multi-agent role assignment under handoff pressure

Research question

Under what context-length, task-horizon, and handoff-frequency conditions do fixed multi-agent roles outperform dynamically assigned coordination, and which handoff designs minimize context loss?

Why

The failure mode of fixed roles is asserted but no conditions or comparisons are given, so teams cannot decide when to pay for specialization versus a stronger orchestrator.

Stronger manager agents improve coordination and lift weaker workers.
Open source video
Fixed multi-agent roles can suffer from rigid communication and context drops.
Open source video
Source video

Budgeting planning depth against execution horizon (overthinking thresholds)

Research question

How does optimal plan-token budget scale with task execution horizon, and beyond what threshold does additional planning compute reduce action quality rather than improve it?

Why

The summary names overthinking and execution horizon as concepts but supplies no metric or relationship, leaving a tunable cost/quality knob without calibration guidance.

Chain-of-thought provides extra compute and a scratchpad for models.
Open source video
Studies like Least-to-Most Prompting show performance gains from subtask decomposition.
Open source video
Source video

Article ideas

4

Your Agent's Plan Is an Interface, Not a Paragraph

Plan representation should be treated as a first-class architectural decision: natural-language plans are general but unverifiable, so any agent that needs safety, permissioning, or replay must move to code/formal plan representations with explicit permission gates, accepting the loss of open-ended generality.

Angle

Take the checkability/flexibility trade-off seriously and show which production mechanisms (static inspection, permission modes, deterministic replay) are impossible under free-text plans.

Source video

Invest in the Manager, Not the Org Chart

Coordination quality, not role specialization, is the bottleneck in multi-agent systems: multiplying fixed worker roles before strengthening the orchestrator produces rigid communication and dropped context, while a stronger manager measurably lifts weaker workers.

Angle

Argue against the reflex to add specialized agents, and reframe multi-agent design as an orchestrator-capability problem first.

Source video

Re-Planning Is a Control Loop, Not a Prompt Trick

Long-horizon agent success depends on an explicit commit-vs-replan subsystem with defined triggers and error detection, not on better initial plans; teams that treat re-planning as a prompt technique leave the dominant failure source uninstrumented.

Angle

Move re-planning from prompt craft into the runtime control layer, with the same rigor as retries or circuit breakers.

Source video

The Planner/Executor Split and Its New Failure Surface

Separating planners from executors enables specialized model training and independent optimization, but the interface between the reasoning layer and the acting layer becomes the new dominant failure surface, so the boundary should follow capability gradients rather than convenience.

Angle

Frame modularity as buying specialization at the cost of an interface contract that must itself be planned, checked, and monitored.

Source video

Project ideas

4

RePlanBench

beyond-evals

An explicit trigger policy for re-planning (value/affordance thresholds plus execution-anomaly detection) yields higher long-horizon task success than plan-once execution, and outperforms always-replanning on cost-normalized success.

Proof of concept

Build a harness that runs the same long-horizon tasks under three policies — plan-once, always-replan, and a triggered replan loop with configurable signals — instrumenting every re-plan event and its cause.

Measurement

Task success rate, re-plans per task, tokens/compute per success, and the distribution of trigger causes correlated with eventual success or failure.

Source video

Plan IR Linter

gatehouse

A static verifier over code-based plan representations detects a measurable fraction of pre-execution errors that natural-language plans structurally hide, without reducing task success on open-ended tasks.

Proof of concept

Emit agent plans as structured code/programs with declared preconditions, effects, and permission gates; run a static checker and permission-mode gate before execution, comparing against a free-text plan baseline on identical tasks.

Measurement

Pre-execution error detection rate, verification coverage (fraction of plan actions covered by checkable structures), downstream task success delta, and false-block rate.

Source video

Orchestrator Capability Ladder

movement-lab

Team task success is more sensitive to manager model capability than to worker role specialization; fixed-role configurations lose to dynamic assignment as context length and handoff frequency increase.

Proof of concept

Build a manager → DAG of parallel sub-agents pipeline with swappable manager capability tiers and swappable role-assignment policies (fixed vs dynamic), then ablate manager strength against worker strength and handoff frequency on long-horizon tasks.

Measurement

Success rate as a function of manager tier and worker tier, context-loss measurements across handoffs, and the crossover point between fixed and dynamic role assignment.

Source video

Overthinking Budgeter

movement-lab

Optimal plan-token budget scales with task execution horizon, and beyond a horizon-relative threshold additional plan tokens reduce action quality while increasing cost.

Proof of concept

Sweep plan-token budgets across task suites of varying execution horizons, holding model and tools fixed, and plot success/cost curves to locate inflection and degradation points per horizon bucket.

Measurement

Success rate and compute cost per plan-token budget per horizon bucket; identification of overthinking thresholds where added planning depth becomes net-negative.

Source video

Architectural implications

3

Plan storage and execution move from free-text to code-based workflows with explicit permission modes and API calls.

Before

Agent plans expressed as natural-language text or ad-hoc prompting.

After

Plans expressed as code/programs with developer-defined procedures, conditional execution, and permission gates (e.g., Cursor Plan Mode, Claude Code, CodeX).

Consequence

Enables static inspection, permissioning, and deterministic replay, but sacrifices the generality of free-text plans.

Source video

Multi-agent decomposition is formalized as an explicit Manager → DAG → parallel CUA sub-agents → follow-up/replan → deliverables pipeline.

Before

Single monolithic agent or loosely chained role prompts.

After

Orchestrated DAG of parallel computer-use sub-agents under a manager with a re-plan loop and summarization stage.

Consequence

Parallelization and specialization become explicit graph structures, making dependencies, handoffs, and context loss points observable and debuggable.

Source video

Re-planning and error detection become required runtime components rather than prompt tricks.

Before

Plan once, then execute blindly; failures surface only at task end.

After

Continuous plan revision triggered by environmental feedback and value/affordance estimates.

Consequence

Adds a control-loop layer to agent runtimes that must decide when to commit vs. re-plan.

Source video

Tradeoffs and failure modes

4

Fixed multi-agent roles

Benefit

Enables specialization, parallelization, and reuse of role-specific agents.

Cost or risk

Rigid communication patterns and dropped context between handoffs degrade long-horizon performance.

Fixed multi-agent roles can suffer from rigid communication and context drops.
Open source video
Source video

Classical symbolic planning

Benefit

Explicit predicates, preconditions, and effects make plans verifiable and checkable.

Cost or risk

Brittle outside fully known environment dynamics; cannot flexibly absorb novelty.

Classical planning is explicit and verifiable but brittle; LLM planning is implicit, flexible, but prone to hallucination and execution drift.
Open source video
Source video

Extended planning / chain-of-thought depth

Benefit

Extra compute and a scratchpad improve multi-step reasoning and subtask decomposition.

Cost or risk

Overthinking relative to the task's execution horizon wastes compute or degrades action quality.

Chain-of-thought provides extra compute and a scratchpad for models.
Open source video
Source video

Natural-language plan representation

Benefit

General and expressive across open-ended tasks.

Cost or risk

Not checkable before execution, so errors propagate into actions.

Formal plans are checkable, while language plans are general.
Open source video
Source video

Open questions

4

What signals should trigger a re-plan versus commitment to the current plan?

Why unresolved

The summary states error detection and re-planning are needed but gives no mechanism or threshold for when to switch.

Research direction

Design and benchmark re-plan triggers (value/affordance thresholds, execution anomalies, confidence drops) against long-horizon task success.

Source video

How should planning depth be budgeted against execution horizon to avoid overthinking?

Why unresolved

Overthinking and execution horizon are named as concepts but no relationship or metric is given.

Research direction

Empirically map plan-token budget to task horizon and measure success/cost curves for overthinking thresholds.

Source video

When do fixed multi-agent roles outperform dynamically assigned coordination, and vice versa?

Why unresolved

The failure mode of fixed roles is asserted but no conditions or comparisons to dynamic schemes are provided.

Research direction

Ablate fixed vs. dynamic role assignment under varying context-length and handoff frequencies (cf. OSWorld abdatns).

Source video

Can hybrid symbolic-neural planners be made verifiably correct without losing flexibility?

Why unresolved

Hybrid approaches are called 'often optimal' without specifying the interface between programmatic and neural components.

Research direction

Prototype a planner that emits checkable formal structures from LLM proposals and measure verification coverage vs. task success.

Source video

Key claims

8
comparativeVerification needed

Stronger manager agents improve coordination and lift weaker workers.

Evidence

Stronger manager agents improve coordination and lift weaker workers.

Question

Under what worker strengths and task types does manager capability causally improve team outcomes, and by how much?

Source video
causalVerification needed

Fixed multi-agent roles can suffer from rigid communication and context drops.

Evidence

Fixed multi-agent roles can suffer from rigid communication and context drops.

Question

Which handoff designs minimize context loss in fixed-role multi-agent systems?

Source video
comparativeVerification not requested

Classical planning uses explicit predicates, preconditions, and effects, whereas LLM planning is implicit and relies on pre-training knowledge rather than rigorous search.

Evidence

Classical planning uses explicit predicates, preconditions, and effects.

Source video
comparativeVerification needed

Code-based plans offer programmatic control and API calls, while formal plans are checkable but language plans are general.

Evidence

Code-based plans offer programmatic control and API calls.

Question

Does code-based plan representation measurably improve execution success or inspectability over natural-language plans?

Source video
causalVerification needed

Separating planners from executors allows specialized model training.

Evidence

Separating planners from executors allows specialized model training.

Question

Does planner/executor separation improve end-task success versus a single generalist model of comparable cost?

Source video
causalVerification needed

Re-planning lets models adapt when execution reveals new information.

Evidence

Re-planning lets models adapt when execution reveals new information.

Question

How much does re-planning improve long-horizon success rates versus plan-once execution?

Source video
factualVerification needed

Studies like Least-to-Most Prompting show performance gains from subtask decomposition.

Evidence

Studies like Least-to-Most Prompting show performance gains from subtask decomposition.

Question

How do decomposition gains vary by task structure and model capability?

Source video
causalVerification needed

Structuring agents with modularity and re-planning improves success rates on long-horizon tasks.

Evidence

Structuring agents with modularity and re-planning improves success rates on long-horizon tasks.

Question

What is the isolated contribution of modularity versus re-planning to long-horizon success?

Source video

Connections

5