Large language model (LLM) agents have recently demonstrated strong capabilities in interactive decision-making, yet they remain fundamentally limited in long-horizon tasks that require structured planning and reliable execution. Existing approaches predominantly rely on flat autoregressive policies, where high-level reasoning and low-level actions are generated within a single token sequence, leading to inefficient exploration and severe error propagation over extended trajectories. In this work, we propose HiMAC, a hierarchical agentic RL framework that explicitly decomposes long-horizon decision-making into macro-level planning and micro-level execution. HiMAC models reasoning as a structured blueprint generation process followed by goal-conditioned action execution, enabling robust long-horizon planning within LLM-based agents. To train this hierarchy efficiently, we introduce a critic-free hierarchical policy optimization paradigm that extends group-based reinforcement learning to bi-level structures through hierarchical relative advantage estimation. Furthermore, we propose an iterative co-evolution training strategy that alternates between planner exploration and executor adaptation, mitigating the non-stationarity inherent in hierarchical learning. Extensive experiments on ALFWorld, WebShop, and Sokoban demonstrate that HiMAC consistently outperforms strong prompting and reinforcement learning baselines, achieving state-of-the-art performance and substantially improved sample efficiency across both text-based and visually grounded environments. Our results show that introducing structured hierarchy, rather than increasing model scale alone, is a key factor for enabling robust long-horizon agentic intelligence.
Figures & tables
Figure 1: A typical case comparsion in WebShop environment and overall performance. (a) Flat-policy architectures easily get lost in irrelevant observations (Context Drift). (b) HiMAC addresses this exploration inefficiency through a bi-level decoupled architecture (Planner and Executor sharing the same parameters πθ ), mapping structured blueprints to executable atomic actions. (c) HiMAC yields consistent state-of-the-art performance against advanced RL reasoning baselines across multiple environments.
Figure 2: Overall pipeline of HiMAC. Phase A (left) optimizes the macro-policy for blueprint generation using GRPO while freezing the micro-policy. Phase B (right) optimizes the micro-policy for atomic action execution conditioned on a fixed blueprint z∗ . Both phases update the same underlying LLM parameters θ .
Type
Method
ALFWorld
WebShop
Pick
Look
Clean
Heat
Cool
Pick2
All
Score
Succ.
Closed-Source Model
PE
GPT-4o
75.3
60.8
31.2
56.7
21.6
49.8
48.0
31.8
23.7
PE
Gemini-2.5-Pro
92.8
63.3
62.1
69.0
26.6
58.7
60.3
42.5
35.9
PE
GPT-5
-
-
-
-
-
-
65.4
-
33.7
PE
Claude Sonnet 4.5
-
-
-
-
-
-
82.5
-
38.6
Table 1: Performance on ALFWorld and WebShop. Results are averaged over 3 random seeds. PE refers to prompt engineering. GiGPO w/ std denotes using Fnorm=std , while GiGPO w/o std uses Fnorm=1 .
Method
Qwen2.5-VL-3B
Qwen2.5-VL-7B
Qwen3-VL-8B
Succ.
Score
Succ.
Score
Succ.
Score
Prompt
14.1
-0.88
25.0
-0.26
21.9
-0.95
GRPO
76.2
4.59
83.9
5.39
82.9
5.24
GiGPO
81.1
4.86
82.8
5.27
78.1
4.67
HiMAC
83.8
5.31
87.5
6.70
90.6
7.32
Table 2: Performance on the Sokoban benchmark. ’Succ.’ and ’Score’ refers to success rate and test score respectively.
Variant
ALFWorld (%)
WebShop Score
WebShop Succ.(%)
HiMAC (Full)
92.1
93.8
84.1
w/o hierarchy (Flat GRPO)
77.6
79.3
66.1
w/o Iterative Co-Evolution
85.3
86.7
74.8
w/o <sub_done>
88.2
90.1
79.8
Random Blueprint
89.7
91.6
81.5
Table 3: Ablation study on ALFWorld and Webshop (Qwen2.5-7B-Instruct).
Benchmark (Target)
Iters to Target ↓
Final Succ. (%) ↑
HiMAC
GiGPO
GRPO
HiMAC
GiGPO
GRPO
ALFWorld (75%)
∼ 110
∼ 115
∼ 150
92.1
90.2
77.6
WebShop (65%)
∼ 220
∼ 230
∼ 380
84.1
72.8
65.7
Sokoban (80%)
∼ 180
∼ 195
∼ 210
87.5
82.8
83.9
Table 4: Comprehensive sample efficiency analysis across benchmarks (7B backbone). We report both the convergence speed (approximate iterations required to reach a target success threshold) and the final converged success rate.
Figure 3: Evolution of HiMAC’s planning and emergent behaviors. For the task "put a candle in toilet": (Left) Early training shows blind exploration due to lacking spatial priors. (Right) Post-convergence, the planner efficiently navigates to the target and develops emergent self-verification.