Recursive Self-Improvement Workshop, ICLR 2026Learning reward functions

Differentiable Evolutionary Reinforcement Learning

Sitao Cheng1*, Tianle Li2*, Xuhan Huang3*, Xunjian Yin4, Difan Zou2

1 University of Waterloo · 2 The University of Hong Kong · 3 The Chinese University of Hong Kong, Shenzhen · 4 Duke University · * Equal contribution

DERL learns how to combine simple reward signals: a meta-optimizer proposes rewards, trains a policy with them, and improves from that policy's validation performance.

Result
ALFWorld held-out-task (L2) success: 65.0% for DERL and 76.4% for DERL-pop vs 56.3% for RLVMR, all with a Qwen2.5-1.5B-Instruct policy.
New vs prior
Evolutionary and prompted-agent methods such as AlphaEvolve search agent or reward configurations as a black box from sparse fitness scores; this work trains the reward generator with policy gradients from validation performance.
Limitation
Each Meta-Optimizer update requires training several inner-loop policies, which the paper identifies as the framework’s primary computational bottleneck.
Scroll sideways to read the figure. Validation performance trains the reward generator; its proposed rewards guide policy learning. Full size ↗

More reward signals can teach the wrong behavior

A final correct-or-incorrect reward is clear but sparse. Checks for formatting, intermediate progress or reasoning steps add feedback, but they also change what the policy is rewarded for, so the design problem is how to combine them.

In math training on GSM8K and MATH together, adding a format reward to the outcome reward raises GSM8K accuracy from 82.6% to 86.4% but lowers MATH from 58.8% to 55.9%. Averaging all primitives has the same trade-off (86.5% and 55.8%).

Closest prior work

The paper frames prior automatic agent evolution, from population-based training to prompted-agent systems such as AlphaEvolve and the Darwin Gödel Machine, as discrete black-box search that relies on sparse final fitness scores and ignores training dynamics. Meta-gradient RL (Xu et al., 2018) instead learns inside the inner optimization, which DERL avoids: it neither backpropagates through the inner-loop optimizer nor tunes continuous reward parameters. An LLM Meta-Optimizer proposes discrete symbolic reward compositions and is trained with RL on the validation performance of independently trained policies.

Judge a reward by the policy it teaches

DERL makes reward design the action space of a second model. This Meta-Optimizer proposes a symbolic expression over supplied atomic primitives; an inner policy is trained with that reward, and its held-out performance becomes the Meta-Optimizer’s reward. GRPO (Group Relative Policy Optimization) trains both levels: the policy on the generated reward, the generator on the policy’s validation performance.

Published · Table 4 rollouts and the Section 4.2 example

What the Meta-Optimizer proposed, and what each proposal taught

At each outer step the Meta-Optimizer samples eight reward expressions over four primitives; each trains a policy, and the policies’ validation scores, compared within the group, train the Meta-Optimizer. Play runs the four printed steps stage by stage. Edit the trajectory to see what every expression pays a success and a failure.

  1. 1ProposeThe Meta-Optimizer, a 0.5B LLM, samples n = 8 Meta-Rewards: expressions over the primitives g1–g4.
  2. 2TrainGRPO trains one Qwen2.5-1.5B-Instruct policy per valid Meta-Reward, each restarted from the base model.
  3. 3ValidateEach trained policy’s validation success becomes that Meta-Reward’s score v. Malformed rewards get v = 0.
  4. 4UpdateGRPO updates the Meta-Optimizer with the group advantage (v − mean) / std; the next eight are sampled.

Mean v per outer step, computed from Table 4: step 0: 0.441 · step 1: 0.425 · step 2: 0.542 · step 3: 0.866

The trajectory the R columns score · step rewards illustrative, default from Section 4.2

10

g2, first third: 0.50

11

g3, middle third: 1.00

00

g4, last third: 0.00

g2–g4 are the mean step reward of each third. g1 is the binary outcome: every Meta-Reward is scored twice, with g1 = 1 (success) and with g1 = 0 (failure).

Outer step 0: the eight Meta-Rewards the Meta-Optimizer sampled, as printed in Table 4, scored on the trajectory above.
#Meta-Reward (as printed)Check · parsed hereR, successR, failurev · Table 4Advantage · computed
1g1 * (g2 - 1) / 2 + (g3 + 1) * (g4 - 1) * 2 / 3Valid−1.583−1.3330.0000−0.95
2g1 + 0.5 * (g2 + 0.5 * (g3 + 0.5 * (g4)))) - 0.5 * (g2 + 0.5 * (g3 + ⋯Fails to parse: extra “)” before the cut——0.0000−0.95
3g1 + 0.01 * (g2 - 0.001) + 0.0001 * (g3 - 0.0001) + 0.000005 * (g4 - ⋯Printed truncated; not evaluated——0.8496+0.88
4g1 * 0.5 + 0.2 * (g2 + 0.1) - 0.3 / 2 + 0.4 * (g3 * 0.1) + 0.1 * (g4 * ⋯Printed truncated; not evaluated——0.8789+0.94
5g1 * (g2 + (g3 - 1.0) * (g4 - 0.0))Valid0.5000.0000.0234−0.90
6g1 + 0.5 * (g2 + 0.5 * (g3 + 0.5 * (g4 + 0.5)))Valid1.5630.5630.8848+0.95
7g1 + 0.5 * (g2 + 0.2 * (g3 + 0.1 * (g4 + 0.05))))Fails to parse: extra closing parenthesis——0.0000−0.95
8g1 * (g2 + 2 * (g3 / 3)) + (g4 - 4 * (g2 - 1)) - 2.0Valid1.1670.0000.8945+0.97

Outer step 0: 4 valid, 2 fail to parse, 2 printed truncated. Mean v 0.441, std 0.466. On this trajectory, row 1 pays a success no more than a failure.

Compositions the paper names, on the same trajectory: the two GRPO baselines and the example structures of Section 5.2 (no scores printed for these).
TypeCompositionR, successR, failure
Outcome reward (baseline)g11.0000.000
Avg reward (baseline)(g1 + g2 + g3 + g4) / 40.6250.375
Stable, linear (Section 5.2)0.5 * g1 + 0.8 * g20.9000.400
Stable, normalized (Section 5.2)g1 / (g2 + 1)0.6670.000
Unstable product (Section 5.2)g1 * (g2 + 0.2) * g30.7000.000
Invalid, negative (Section 5.2)-(g1 + 0.5 * g2)−1.250−0.250

Published: every expression and v, from Table 4 (Appendix E, ALFWorld L2), and the six-step example from Section 4.2. Computed here: parse checks, R values and advantages (Section 3.2, std taken as the sample estimate, which the paper does not specify). Illustrative: the step rewards you set. g1 is the outcome and g2–g4 the thirds, in the order Section 4.2 introduces them. GRPO normalizes rewards within each group of sampled trajectories, so adding a constant, as in step 1 row 7, or scaling by a positive factor leaves the inner-loop advantages unchanged; only differences between trajectories, relative to their spread, matter. Rows marked in brown pay a success no more than a failure on this trajectory. The appendix prints the first four outer steps; the paper reports convergence after about ten on ALFWorld. Nothing is trained in your browser.

In the agent setup, step rewards [1, 0, 1, 1, 0, 0] over six steps give three stage primitives (0.5, 1 and 0, the averages of each third) plus the final success signal. Multiplying the three, for instance, would erase the early progress because the last stage scores zero; averaging would keep partial credit.

Standard DERL restarts the inner policy from the base model for each candidate reward, so validation differences reflect the reward. DERL-pop continues from the previous round’s best policy with the same total inner-loop steps, letting the reward adapt as the learner improves; the paper attributes DERL-pop’s higher scores to this curriculum-like effect. Format-valid SFT examples, constrained decoding and penalties for invalid expressions keep proposals executable.

  1. 01

    Compose a reward

    A trainable Meta-Optimizer combines task-specific atomic primitives with arithmetic operations into a reward function.

  2. 02

    Train a policy

    Use the proposed reward to optimize an inner policy with GRPO.

  3. 03

    Learn from validation

    Held-out policy performance becomes the RL reward used to update the meta-optimizer.

Generalization requires more than dense feedback

On ALFWorld, averaging the primitives helps on the familiar L0 split but barely changes the held-out-task L2 split, where DERL leads by a wide margin: denser feedback alone does not transfer. In math, DERL reaches 87.0% on GSM8K and 60.2% on MATH, avoiding the format reward’s trade-off.

“Differentiable” refers to the outer update, a policy-gradient estimate over generated reward programs; nothing is backpropagated through task correctness or through the inner training runs.

Table 1 (ALFWorld L1 column omitted). Task success rate (%), higher is better; inner policy Qwen2.5-1.5B-Instruct, where L0 tests seen variants, L1 unseen variants, and L2 task types held out from training. DERL-pop. initializes each inner loop from the best policy of the previous loop while keeping the total inner-loop training steps equal to DERL. GRPO baselines were run by the authors, while GiGPO and RLVMR results are taken from the RLVMR paper (Zhang et al., 2025). Source ↗

MethodALFWorld L0ALFWorld L2ScienceWorld L0ScienceWorld L1ScienceWorld L2
GRPO w/ Outcome Reward76.629.721.113.710.9
GRPO w/ Avg Reward88.130.537.931.318.0
GiGPO86.748.025.815.24.7
RLVMR89.156.346.934.426.5
DERL91.065.047.743.030.1
DERL-pop.91.876.498.295.331.3

Method proposed in the paper

Scope. Learned rewards can only combine the predefined atomic primitives; the Meta-Optimizer cannot add a check that the primitives do not provide. Read the study ↗

Further reading in the paperBi-level objectives and reward parameterization · Section 3 ↗Task primitives and controlled comparisons · Section 4 ↗
Research summary

The design of effective reward functions presents a central and often arduous challenge in reinforcement learning (RL), particularly when developing autonomous agents for complex reasoning tasks. While automated reward optimization approaches exist, they typically rely on derivative-free evolutionary heuristics that treat the reward function as a black box, failing to capture the causal relationship between reward structure and task performance. To bridge this gap, we propose Differentiable Evolutionary Reinforcement Learning (DERL), a bi-level framework that enables the autonomous discovery of optimal reward signals. In DERL, a Meta-Optimizer evolves a reward function (i.e., Meta-Reward) by composing structured atomic primitives, guiding the training of an inner-loop policy. Crucially, unlike previous evolution, DERL is differentiable in its meta-optimization: it treats the inner-loop validation performance as a signal to update the Meta-Optimizer via reinforcement learning. This allows DERL to approximate the "meta-gradient" of task success, progressively learning to generate denser and more actionable feedback. We validate DERL across three distinct domains: robotic agent (ALFWorld), scientific simulation (ScienceWorld), and mathematical reasoning (GSM8k, MATH). Experimental results show that DERL achieves state-of-the-art performance on ALFWorld and ScienceWorld, significantly outperforming methods relying on heuristic rewards, especially in out-of-distribution scenarios. Analysis of the evolutionary trajectory demonstrates that DERL successfully captures the intrinsic structure of tasks, enabling self-improving agent alignment without human intervention.

Full paper ↗
Citation BibTeX
@misc{cheng2025differentiableevolutionaryreinforcementlearning,
    title={Differentiable Evolutionary Reinforcement Learning},
    author={Sitao Cheng and Tianle Li and Xuhan Huang and Xunjian Yin and Difan Zou},
    year={2025},
    eprint={2512.13399},
    archivePrefix={arXiv},
    primaryClass={cs.AI},
    url={https://arxiv.org/abs/2512.13399}
}