CWRPO: Canvas Workflow Relative Policy Optimization

• The paper introduces CWRPO, a reinforcement learning method that enhances workflow orchestration with token-level control and curriculum-based rewards.
• It employs a structured canvas MDP with editing actions and a modified PPO surrogate objective to manage multi-turn, agentic workflows.
• Empirical evaluations show significant accuracy gains across benchmarks by mitigating degenerate policies and ensuring diverse, scaffolded trajectories.

Canvas Workflow Relative Policy Optimization (CWRPO) is a reinforcement learning (RL) method introduced for automating agentic workflow orchestration in executable canvas environments. Developed within the FlowSteer framework, CWRPO addresses challenges including sparse reward signals, high manual orchestration costs, and susceptibility to degenerate “shortcut” behaviors by implementing a structurally constrained, curriculum-based reward system and a Relative Policy Optimization strategy with token-level control and regularization (Zhang et al., 2 Feb 2026).

1. Canvas MDP Formulation

CWRPO operates in the context of a Markov Decision Process (MDP) tailored to multi-turn, agentic workflow construction over an executable canvas.

• State Space ($S$): Each state at step $t$, denoted $H_t \in S$, aggregates the complete interaction history:

$$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$

where $q$ is the task, $d^{lib}$ encodes available operators, $a^{tmpl}$ specifies prompt templates, $a^{think}_\tau$ is the agent's internal thought, $a_\tau$ is the editing action, and $o^{exec}_\tau$ the feedback.

• Action Space ($t$0): Editing actions $t$1 comprise a type $t$2 {add, delete, modify, set_prompt, parallel, conditional, loop, finish} and pertinent content $t$3.
• Transition Dynamics: After $t$4 and $t$5, the canvas updates $t$6 and samples feedback $t$7. The interaction ends if $t$8 finish or $t$9.
• Policy Factorization: The policy $H_t \in S$0 is factorized:

$H_t \in S$1

This formalization underpins CWRPO’s tailored optimization and reward gating mechanisms.

2. Objective Function and Token-Level Optimization

CWRPO directly modifies the Proximal Policy Optimization (PPO) objective to suit the canvas domain, leveraging trajectory-level normalization and token-level control:

• Batch Trajectories: A batch $H_t \in S$2 is sampled using $H_t \in S$3, each represented as tokens $H_t \in S$4. Environment-generated tokens are masked ($H_t \in S$5).
• Token Importance Ratio:

$H_t \in S$6

• Group-Relative Advantage:

$H_t \in S$7

where $H_t \in S$8 are per-source mean and variance.

• Surrogate Objective:

$H_t \in S$9

with KL regularization towards a reference policy $$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$0 and PPO-style clipping range $$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$1.

Token-level masking ensures unbiased gradients, contributing only policy-generated tokens to the surrogate, mitigating variance from environment dynamics.

3. Structural Reward Engineering and Conditional Release

CWRPO employs a two-stage, conditional-release reward system to enforce workflow diversity prior to answer optimization.

• Structural Diversity Score ($$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$2):

$$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$3

where: - $$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$4: 0.25 if at least one verification operator (Test/Review/Verify) is present. - $$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$5: 0.25 if “Format” is included as the final step. - $$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$6: 0.25 if at least three distinct operators are used. - $$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$7: 0.25 if any control structure (parallel/conditional/loop) is present.

• Answer Reward ($$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$8): Assessed as task-appropriate correctness, typically via $$H_t = [q \oplus d^{lib} \oplus a^{tmpl} \oplus (a^{think}_1, a_1, o^{exec}_1),..., (a^{think}_t, a_t, o^{exec}_t)]$$9 pass-rate or a specialized evaluation.
• Total Reward (Conditional Release):

$q$0

Only skeleton-complete trajectories with $q$1 receive answer rewards; others are restricted to negatively shifted, diversity-based feedback. This design suppresses degenerate or shortcut behaviors in RL.

4. Algorithmic Implementation and Distinctions from PPO

CWRPO’s update schedule introduces differentiating features relative to standard PPO, codified in the following workflow:

• Sampling: $q$2 trajectories are generated with the current policy.
• Reward Computation: Both structural diversity and, upon satisfaction, answer correctness rewards are computed.
• Advantage Normalization: Rewards are normalized via group statistics for stabilization.
• Token Clipped Objective: The surrogate update aggregates over only policy-generated tokens, clipped by $q$3.
• KL Regularization: A KL penalty is imposed against the reference (e.g., initial SFT) policy.
• Parameter Updates: Gradients are computed to optimize the summed objective; $q$4 is refreshed every epoch.

Key Implementation Elements	Value/Setting	Description
PPO clipping ($q$5)	0.20	Safe trust region scaling
KL penalty ($q$6)	0.005	Regularization strength
Advantage norm safety ($q$7)	$q$8	Stability in denominator
Batch size ($q$9)	36	Trajectories per update
Max turns ($d^{lib}$0)	20	Horizon per interaction
Operator-specific weights	0.25 each, capped at 1.0	Structural reward configuration

LoRA fine-tuning on compact policy models (e.g., Qwen3-8B) with bfloat16 and gradient checkpointing is utilized. Explicit canvas-level constraints enforce minimal operator usage and prevent premature “finish” calls.

5. Theoretical Properties and Training Dynamics

CWRPO is characterized by structural-constraint separation and curriculum-based policy shaping:

• Reward Sign Separation: Trajectories lacking the structural skeleton ($d^{lib}$1) are capped below zero, while only skeleton-complete ones ($d^{lib}$2) admit potential positive reward.
• Curriculum Induction: Early training is dominated by learning feasible (diverse) workflow skeletons, transitioning to answer optimization as feasible probability $d^{lib}$3 approaches unity.
• Monotonicity: By importance ratio clipping and KL regularization, per-update improvements are bounded analogously to PPO; token-level masking assures unbiased stochastic gradient estimates.

Under constraints of bounded rewards and hyperparameter limits ($d^{lib}$4 sufficiently small), local improvement guarantees parallel those in PPO.

6. Benchmark Performance and Empirical Validation

CWRPO’s efficacy is substantiated across twelve datasets, spanning both in-distribution (IID) and out-of-distribution (OOD) tasks, in comparison to leading orchestration baselines:

• In-Distribution Results: Notable outcomes include 96.09% on GSM8K (vs. 93.75% for the best agent-RL baseline), 81.25% on MATH (vs 74.22%), >10 point improvements on HotPotQA and SQuAD-v2 EM/F1, and +10–20% Pass@1 lift on MBPP and HumanEval.
• OOD Generalization: CWRPO retains top accuracy across TriviaQA, NaturalQ, MathQA, AIME, APPS, DS-1000, with +6–16 point gains over strongest baselines.
• Ablation Analyses: Removing structural gating yields shortcut policies; omitting masking or KL penalty destabilizes optimization; the full combination of multi-turn canvas, answer masking, and CWRPO is necessary for observed performance.

Direct RL comparisons indicate that CWRPO outperforms DAPO and GRPO across math, QA, and code orchestration settings under identical evaluation regimes (Zhang et al., 2 Feb 2026).

7. Context and Implications

CWRPO, by incorporating diversity-constrained, conditional-release reward structures and token-level optimization atop PPO, demonstrates substantial gains in stability, diversity, and performance for agentic workflow orchestration. Its explicit separation of structural and correctness phases, combined with targeted regularization and unbiased gradient computation, marks a significant methodological advancement for RL in complex, long-horizon, multi-turn domains. This approach underlines the relevance of curriculum design, reward gating, and tight stochastic control in automated workflow construction, and sets a new empirical benchmark for workflow orchestration in both familiar and unseen environments (Zhang et al., 2 Feb 2026).