MEKAWIRE
중급arXiv

Reward Hacking을 넘어: 휴머노이드 RL 파이프라인 4층 프록시 발산 분석

Arunabh Bora
30초 요약

이 프리프린트는 보상뿐 아니라 커리큘럼 게이트, 평가 통계, 레퍼런스 모션도 같은 의미의 프록시로 보고 각각의 발산 조건과 수정안을 제안했다. 시뮬레이션 1.91m 휴머노이드 PPO 계열 실험에서 평균 오차 기반 게이트가 실제로는 고관절 59° 오차를 통과시켰고, 동기화된 푸시 평가는 0.5m/s를 2.0m/s보다 위험하게 분류했다. L1 비용, 피크 오차 게이트, 위상 무작위화, 잔차 피드포워드로 이런 오류를 줄였으며 14.2시간 단일 GPU로 4단계 성장 학습을 시연했다.

연구 질문

로봇 학습 파이프라인에서 보상뿐 아니라 커리큘럼 게이트, 평가 통계, 레퍼런스 모션이 각각 어떻게 프록시 발산을 일으키며 이를 어떻게 막을 수 있는가?

문제

강화학습 파이프라인은 보상, 커리큘럼 임계값, 평가 지표, 레퍼런스 모션을 실제 목표 대신 사용하는데, 기존 문헌은 보상의 스펙 게이밍만 다루고 나머지는 단순 설정으로 취급한다. 이 때문에 평균 오차 게이트가 큰 국소 실패를 통과시키고, 평가 하네스가 표본 수와 무관한 편향을 만들며, 실현 불가능한 레퍼런스가 접촉 순서가 다른 행동으로 수렴하게 한다.

기존 접근

기존 접근은 가우시안 추적 커널과 가중합 보상, 평균 오차 기반 커리큘럼 승격, 동기화된 배치 평가, 레퍼런스 트래킹 보상을 사용한다. 보상 해킹은 보상에서만 발생한다고 보고 나머지는 튜닝 상수나 측정 도구로 간주했다. 레퍼런스가 불가능하면 보상 가중치를 추가해 해결하려 했다.

새 접근

4개 층위 각각에 대해 전통적 정식화, 발산 조건, 대안을 제시했다. 보상 층위는 정지 상태에서만 작동하는 L1 비용을 추가하고 모든 actuated 좌표를 보상 지지에 포함시킨다. 커리큘럼은 평균 대신 actuated joints의 피크 오차와 접촉 수준 결과 조건을 사용하고, 문턱을 open-loop 레퍼런스 성능 이하로 설정하며, 거절 횟수를 기록하고 커리큘럼 상태를 체크포인트에 포함한다. 평가는 결정론적 정책으로 결과를 측정하고, 로봇별 disturbance 시간을 독립적으로 무작위화하며, 보편, 존재 양화사를 주장에 맞춘다. 레퍼런스는 정적 COM 지지 다각형 검사와 kinematic repair 후 open-loop 검증을 거치고 잔차 피드포워드 q*=q0+0.5a+r(t)로 학습을 발견에서 조절로 바꾼다. 입력 확장은 첫 층 가중치를 0으로 패딩해 함수 보존 성장을 하고, 비정책 관절은 은닉된 외생 모션으로 학습한다.

결과

시뮬레이션 1.91m 69.35kg 휴머노이드, PPO 2048환경×24스텝, RTX 5070 Ti 노트북 GPU, 4단계 13,496 iterations, 14.2시간, 6.6×10^8 샘플, 단일 시드에서 평가했다. L1 base-velocity cost weight 1.5를 zero command에 적용해 drift를 0.01–0.04 m/s로 줄였다. 평균 오차 기반 커리큘럼 게이트는 주 관절 고관절이 59°≈1.03 rad 오차를 냈는데도 logged mean error는 0.06–0.07 rad에 머물렀고, 7회 승격 모두 rate limit으로 zero refusals였다. 위상을 무작위화한 푸시 평가에서 0.5, 1.0, 1.5, 2.0 m/s의 fall rate는 walking 0.6 m/s 기준 3%, 27%, 35%, 47%였고 standing 기준 10%, 38%, 44%, 62%였다. 동기화 평가에서는 0.5 m/s가 88% falls, 2.0 m/s가 50% falls로 역전됐다. 학습 중 foot-height metric은 61–69%였지만 결정론적 정책은 실제로 foot clearance를 만들지 못했다. 실현 불가능한 single-support leg-lift 레퍼런스는 COM이 지지 발 옆 0.21m에 있었고, 수리 후 feed-forward는 발을 ground에서 띄웠지만 reward만으로는 지지 롤을 -1~-3°에 머물게 했다. Zero-padded input widening은 253→274 입력 확장에서 parent action을 10^-5 이내로 재현했다. S3는 빠른 상체 모션에서 peak tilt를 0.34에서 0.21로, base drift를 0.37m에서 0.14m로 줄였다.

한계

논문은 모두 시뮬레이션 결과이며 단일 훈련 시드만 사용했다. 질량 모델은 solid-material density에서 나왔고 actuator limits는 실제 모터가 아니라 시뮬레이션 값이다. 실물 로봇 검증은 없으며 프리프린트이므로 동료 심사를 거치지 않았다. 저자는 수정안이 추가 훈련 없이 롤아웃 한 번, 결정론적 재생 한 번, 무작위 타이밍, 체크포인트 형식 변경만 필요하다고 주장하지만, 다중 시드 및 sim-to-real 일반화는 보고되지 않았다. 환경 구성과 보상 항목은 저자 요청 시 제공된다고 밝혔고, 공개 코드 저장소 여부는 논문에 보고되지 않았다.

업계 영향

휴머노이드 보행 및 전신 스킬을 GPU 병렬 시뮬레이션으로 학습하는 기업과 연구소가 지금 바로 적용할 수 있는 저비용 절차다. 커리큘럼 게이트와 평가 하네스의 체계적 편향을 줄여 시뮬레이션 성능 지표의 신뢰성을 높이고, 레퍼런스 실현 가능성 검사와 잔차 피드포워드는 모션 모방 파이프라인의 실패를 줄인다. 다만 실물 로봇 제품 적용에는 다중 시드, sim-to-real, 실제 모터 한계 검증이 선행돼야 하며, 시뮬레이션 개발 프로세스 개선은 1년 내 적용 가능하고 제품 수준 적용은 1~3년이 걸릴 것이다.

논문 전문

Beyond Reward Hacking: Proxy Divergence Across Four Layers of a Staged Humanoid Learning Pipeline

Arunabh Bora

CC BY 4.0 라이선스로 공개된 논문입니다. 출처를 밝혀 전재하며, 원문은 arXiv:2610.03196(PDF)에서 볼 수 있습니다.

Abstract

A reinforcement-learning (RL) pipeline for a legged robot is assembled from proxies. A reward stands in for intended behaviour, a curriculum gate stands in for competence, an evaluation statistic stands in for robustness, and a reference motion stands in for an achievable skill. The traditional view treats only the first of these as optimised against, and so locates specification failure (reward hacking) in the reward alone. I argue that all four are proxies in the same formal sense, that each has a characteristic divergence mechanism, and that each admits a reformulation that closes it. For every layer I state the traditional formulation, derive the condition under which it diverges from its target, and give the alternative: first-order (L1) costs where quadratic kernels are flat, peak and outcome statistics where curriculum gates average, gate reachability and information checks, deterministic and phase-desynchronised evaluation, curriculum state treated as part of the model, feasibility-first reference design with residual feed-forward, and function-preserving input widening that lets one policy grow instead of being retrained. The arguments are illustrated by measurements from one continuous lineage of a PPO policy for a simulated 1.91 m humanoid, grown over four stages and 13,500 iterations on a single laptop GPU. Among them, a curriculum gate built on averaged error advanced at its rate limit on every check while the skill it gated was absent, and a batched push test whose synchronised resets aliased the gait phase ranked a 0.5 m/s push as more dangerous than a 2.0 m/s one.

Index Terms:

reinforcement learning, reward design, curriculum learning, evaluation methodology, motion imitation, humanoid robots, continual learning

I Introduction

GPU-parallel simulation has made it routine to train a locomotion policy in hours on one machine [1, 2]. The resulting pipeline has a standard shape: a weighted sum of shaped reward terms, a performance-gated curriculum over terrain and commands, batched evaluation in the simulator, and, for skills beyond locomotion, a tracking reward towards a reference motion [3]. Each of these components replaces something physical with something computable.

The literature on specification gaming [4, 5, 6, 7] studies the gap between a proxy and its target, but in robot learning it is applied almost exclusively to the reward. The other components are treated as plumbing: a curriculum threshold is a tuning constant, an evaluation script is assumed to measure what it reports, and a reference motion is assumed to be achievable. My thesis is that this traditional view is incomplete. A curriculum gate is optimised against just as a reward is, because the policy that passes it is the one the gate selects. An evaluation statistic is a proxy whose bias can be created by the harness itself, with no optimisation at all. A reference motion is a proxy for a skill, and it can be wrong in a way that no reward design can repair.

I-A Contributions

  1. A four-layer formulation of proxy divergence (reward, curriculum, measurement, reference), with, for each layer, the traditional formulation, the condition under which it diverges, and a reformulation (Sections IV–VII, summarised in Table III).
  2. Curriculum gates as estimators: a dilution bound showing that gates on error averaged over joints and time cannot reject large localised failures, a reachability condition, an information argument for counting gate refusals, and the observation that curriculum state belongs to the model, not the environment (Section V).
  3. Two systematic evaluation biases that do not shrink with sample size: outcomes manufactured by exploration noise, and phase aliasing from synchronised resets, with corrected estimators (Section VI).
  4. Feasibility-first reference design: why tracking an infeasible reference converges to a qualitatively different behaviour regardless of reward shaping, and a static test, a correction and a residual action that avoid it (Section VII).
  5. Function-preserving policy growth through input widening and split authority, as an alternative to retraining from scratch whenever the observation changes (Section VIII).

II Related Work

RL for legged and humanoid robots. Deep RL now produces deployed locomotion and whole-body controllers [8], including zero-shot humanoid walking [9], agile whole-body skills with sim-to-real alignment [10], and general motion tracking [11]. Most of these pipelines share the structure analysed here, built on GPU-parallel simulators such as Isaac Lab [2].

Reward design and specification gaming. Practical locomotion rewards are weighted sums of heuristic terms [1], and recent work automates their design with language models [12]. Skalse et al. [4] showed that unhackable proxy rewards are very restricted; Pan et al. [5] found that more capable agents exploit misspecified rewards more, sometimes through abrupt phase transitions; Gao et al. [6] measured scaling laws for over-optimising a proxy; and Laidlaw et al. [7] defined reward hacking through the correlation between proxy and true reward under a base policy. All of this work treats the reward as the proxy. I extend the same lens to curriculum gates, evaluation statistics and reference motions.

Curricula. In locomotion, terrain and command levels are raised when agents perform well [1], and adaptive command curricula are central to fast legged locomotion [13]. The gate that decides promotion is treated as a tuning constant; I analyse it as an estimator.

Evaluation methodology. Agarwal et al. [14] and Patterson et al. [15] showed that deep-RL conclusions are fragile to seeds, aggregate statistics and experimental design. Those are largely variance effects; the biases studied here are systematic and do not shrink with sample size.

Imitation and residual control. Tracking rewards towards reference motions [3] and adversarial motion priors [16] remain the basis of humanoid skill learning [10, 11]. References retargeted from human motion capture approximately inherit the human’s dynamic feasibility; hand-authored references do not. Residual formulations learn a correction on top of a fixed controller [17], and ASAP applies a learned delta-action model on top of a pretrained policy [10].

Growing and continually training networks. Net2Net [18] introduced function-preserving expansion. Plasticity injection [19] adds a new network whose initial output is exactly zero, so predictions are unchanged at the moment of injection; Neuroplastic Expansion [20] grows the network during training. Loss of plasticity under continual training is now well documented [21], including for on-policy methods such as PPO [22], which is the regime of a policy fine-tuned across many stages.

III Setting

The robot is a simulated 1.91 m, 69.35 kg humanoid built directly from its CAD assembly. The policy controls 11 joints (hip pitch, hip roll, knee, ankle pitch and ankle roll on each leg, and a waist yaw); 10 arm and neck joints are on position drives outside the policy. It is a Gaussian MLP (three hidden layers of 128 ELU units, separate critic) trained with PPO [23] and GAE [24] (\gamma=0.99, \lambda=0.95, clip 0.2, adaptive learning rate at target KL 0.01) on 2048 environments \times 24 steps per iteration. Actions are joint offsets, q^{\ast}=q_{0}+0.5\,a, tracked by implicit PD drives at 50 Hz over 200 Hz physics. Observations include base velocities, projected gravity, commands, joint states, the previous action, and a 187-ray terrain height scan. Terrain is procedurally generated under a promotion curriculum, and random velocity pushes are applied. All training used a single RTX 5070 Ti laptop GPU.

I write r_{t}=\sum_{i}w_{i}r_{i}(s_{t},a_{t}) for the reward, k for a curriculum level that indexes a task distribution d_{k}, and J(\theta;d)=\mathbb{E}_{\xi\sim d}\,\mathbb{E}_{\pi_{\theta}}\left[\sum_{t}\gamma^{t}r_{t}\right] for the objective.

Definition 1

A proxy is a computable quantity m used to steer or judge learning in place of a physical target T. A proxy divergence is a policy, or a population of policies, for which m reports success while T is absent.

IV Reward Layer

IV-A Second-order kernels permit first-order drift

Traditional. Command tracking uses a Gaussian kernel, r_{\mathrm{trk}}=\exp(-\|\mathbf{c}-\mathbf{v}\|^{2}/\sigma^{2}), chosen because it is bounded and smooth [1].

Divergence. Consider a zero command and a scalar drift speed v\geq 0. Let g(v) collect every other effect of drifting on return, for instance that stepping slightly forward is easier to balance than standing still.

Proposition 1

If g is differentiable at 0 with g^{\prime}(0)>0, then f(v)=\exp(-v^{2}/\sigma^{2})+g(v) is not maximised at v=0. If instead the tracking term is augmented with an L1 cost -\lambda|v|, then v=0 is a local maximiser whenever g^{\prime}(0)<\lambda.

Proof:

The kernel has zero derivative at 0, so f^{\prime}(0)=g^{\prime}(0)>0 and f increases to the right of 0. With the L1 term, the right derivative at 0 on the domain v\geq 0 is g^{\prime}(0)-\lambda<0, so 0 is a local maximiser. ∎

The kernel’s loss near zero is 1-e^{-v^{2}/\sigma^{2}}\approx v^{2}/\sigma^{2}, second order, so any first-order incentive wins. With \sigma=0.5 the kernel still pays 0.85 at 0.2 m/s of drift, and a policy trained this way crept forward on every zero command.

Reformulation. Pair every saturating kernel whose target is a rest state with a first-order cost active only in that state. An L1 base-velocity cost of weight 1.5 on zero commands reduced measured drift to 0.01–0.04 m/s.

IV-B Unconstrained coordinates settle on their bounds

Traditional. Penalty terms are added for joints whose motion is undesirable and omitted elsewhere, often by inheriting a reference configuration from another robot.

Divergence. If the reward has no term in a coordinate q_{j}, its value is set by whatever residual, incidental dependence g(q_{j}) the rest of the objective has. If g is monotone on the feasible interval [q_{\min},q_{\max}], its maximiser is a bound, where the joint limit supplies the only opposing force. A quadratic regulariser -\mu(q_{j}-q_{j}^{0})^{2} makes the objective strictly concave in q_{j} and moves the maximiser into the interior whenever |g^{\prime}|<2\mu\,(q_{\max}-q_{j}^{0}).

On rough terrain the waist penalty was removed, because the configuration it came from belongs to a robot that turns with hip yaw. The waist then sat at its +45.00^{\circ} limit for 100 % of steps with zero variance, while every logged statistic improved (reward +27.4 against +25.7, falls 2.8 % against 5.3 % for the corrected policy).

Reformulation. Every actuated coordinate must be in the support of the reward, either through a regulariser or a commanded target, and inside a limit barrier. In the final configuration the waist is not penalised but commanded: a target in \pm 0.7 rad, zero half the time, is observed and rewarded by \exp(-(q_{w}-q_{w}^{\ast})^{2}/0.2^{2}), which subsumes the regulariser.

V Curriculum Layer

Traditional. A level k is raised when a statistic \bar{m} of recent episodes crosses a threshold, k\leftarrow k+1 if \bar{m}\geq\tau (or \bar{e}<\tau for an error), usually with a rate limit.

V-A Dilution

Let a reference-tracking skill be judged by tracking error averaged over |\mathcal{J}| joints and the T steps of the motion, \bar{e}=\frac{1}{|\mathcal{J}|T}\sum_{j,t}|e_{j}(t)|. Suppose one joint misses by e^{\ast} during a fraction \rho of the motion and every other error is at most \epsilon.

Proposition 2

\bar{e}\leq\rho e^{\ast}/|\mathcal{J}|+\epsilon, so the gate \bar{e}<\tau accepts every such failure with e^{\ast}<|\mathcal{J}|(\tau-\epsilon)/\rho.

The bound is direct. With ten tracked joints, \tau=0.25 rad and \rho\approx 0.3, the gate accepts misses up to several radians, i.e. it cannot reject any physically possible failure of the principal joint. In the lineage, a gate of exactly this form accepted a single-support leg-lift motion in which the lifting hip missed its target by 59^{\circ}\approx 1.03 rad; the logged mean error was 0.06–0.07 rad (Fig. 1). A no-fall criterion did not help, because the degenerate solution, keeping both feet down, never falls.

Reformulation. Gate on the peak, e_{\infty}=\max_{t}\max_{j\in\mathcal{J}_{\mathrm{act}}}|e_{j}(t)|, over the joints the motion actually moves, averaged over episodes; and conjoin it with an outcome predicate measured at the contact level (here, the lifted foot carries less than 1 N for a minimum fraction of the swing and reaches a minimum height relative to what the reference produces).

Fig. 1: A curriculum gated on averaged tracking error. Top: the reference amplitude advanced at its rate limit at every check. Bottom: the gated statistic stayed far below its 0.25 rad threshold, although the principal joint’s peak error was \approx1 rad.

V-B Information and refusal

Let G\in\{0,1\} be the gate’s decision and C the competence it should detect. If the gate passes at every check, H(G)=0 and therefore I(G;C)=0: the gate transmits no information about competence. A gate that advances at exactly its rate limit is observationally equivalent to no gate. In Fig. 1 the seven raises came at intervals of 41 to 44 iterations against a rate limit of one episode (\approx41.7 iterations), with zero refusals.

Reformulation. Log the refusal count as a first-class diagnostic, and treat a curriculum with no refusals as unvalidated.

V-C Reachability

A threshold is useful only if some policy can meet it: \sup_{\pi}\mathbb{E}_{\pi}[m]\geq\tau. Executing the reference open-loop is itself a policy \pi_{\mathrm{ref}}, so \mathbb{E}_{\pi_{\mathrm{ref}}}[m]\geq\tau is a sufficient condition that costs one rollout. When it fails, the gate may be unreachable. In the lineage, an air-time requirement of 50 % of the swing exceeded the \approx30 % that the reference itself achieves at half amplitude (\approx59 % at full), and a starting amplitude of 0.3 produced a lift too small to clear the ground once the support leg tilted.

Reformulation. Set \tau\leq\mathbb{E}_{\pi_{\mathrm{ref}}}[m] at every curriculum level before training.

V-D Curriculum state is model state

Traditional. A checkpoint stores network weights, optimiser moments and an iteration counter. Curriculum levels live in the environment.

Divergence. Fine-tuning from a checkpoint optimises J(\theta;d_{k_{0}}) rather than J(\theta;d_{k}): the objective silently changes. Skills trained only at high levels receive no gradient to maintain them, and statistics compared across stages are expectations under different distributions. In the lineage, a speed curriculum that had reached 1.7 m/s restarted at 1.0 m/s in the next stage and was not raised again for 2000 iterations; terrain level fell from 5.6 to 3.5 at the same boundary.

Reformulation. Checkpoint the tuple (\theta,\text{optimiser},k), and compare stages only under a fixed evaluation distribution d_{\mathrm{eval}}.

VI Measurement Layer

VI-A Outcomes manufactured by exploration noise

Traditional. Outcome statistics are logged from training rollouts of the stochastic policy a=\mu_{\theta}(s)+\sigma\varepsilon.

Divergence. For a thresholded outcome m=\mathbf{1}[h(s)>h_{0}], \mathbb{E}_{\varepsilon}[m] can be positive when the deterministic rollout has h<h_{0} everywhere, because noise alone reaches the threshold. The estimate converges, with more samples, to the noise’s contribution, not the policy’s. In the lineage a foot-height metric read 61–69 % of target during training while the deterministic policy produced none: exploration noise of \approx40∘ on the ankle targets (against \approx6∘ at the hips) tipped a foot carrying \approx360 N onto its toe, raising its centre of mass.

Reformulation. Report outcomes for \mu_{\theta}, and define outcomes by predicates that noise cannot satisfy cheaply: here, height counts only while the foot’s contact force is below 1 N.

VI-B Phase aliasing in batched evaluation

Traditional. A disturbance test resets N parallel environments together, waits a fixed settling time t_{0}, applies the disturbance, and reports the failure fraction \hat{p}=\frac{1}{N}\sum_{i}f_{i}.

Divergence. A gait is approximately periodic with period P, so failure depends on the phase \phi at which the disturbance arrives, p(m\,|\,\phi). With synchronised resets, every robot has \phi_{i}\approx t_{0}\bmod P, and

\hat{p}\xrightarrow{N\to\infty}p(m\,|\,\phi_{0})\neq\bar{p}(m)=\frac{1}{P}\int_{0}^{P}p(m\,|\,\phi)\,d\phi.
(1)

The bias is independent of N: more robots make a wrong number more precise. In the lineage this produced a fall rate of 88 % for a 0.5 m/s push from one side against 50 % for 2.0 m/s from the same side, together with a large and entirely spurious left–right asymmetry.

Reformulation. Draw each robot’s disturbance time independently, t_{i}\sim\mathcal{U}[t_{0},t_{0}+W]. The induced phase density is n/W or (n+1)/W with n=\lfloor W/P\rfloor, so it differs from the uniform 1/P by at most 1/W, and is exactly uniform when W is a multiple of P. With W=1 s, longer than one step cycle, the magnitude series became monotonic (Table I) and the asymmetry disappeared; lateral and sagittal pushes then had near-equal fall rates (30 % against 26 % while walking).

TABLE I: Push Recovery After Phase Randomisation (% of 32 Robots Falling, Pooled Over Four Directions; Training Pushes Were \pm0.5 m/s)
  • 0.5
    Walking 0.6 m/s
    3
    Standing
    10
  • 1.0
    Walking 0.6 m/s
    27
    Standing
    38
  • 1.5
    Walking 0.6 m/s
    35
    Standing
    44
  • 2.0
    Walking 0.6 m/s
    47
    Standing
    62

VI-C Quantifier errors in aggregation

A claim of the form “the policy survives magnitude m in every direction” is a universal quantifier and must be computed with a minimum over directions. A harness that computed the largest magnitude with zero falls in any direction (an existential) reported a clean result while another direction had a 38 % fall rate. The statistic’s quantifier must match the sentence it is used to support.

VII Reference Layer

Traditional. A skill is specified by a reference trajectory q_{\mathrm{ref}}(t) and learned by maximising \exp(-\|q-q_{\mathrm{ref}}\|^{2}_{M}/\sigma^{2}) alongside a large failure penalty, with reward terms added when the result is unsatisfactory [3].

Divergence. Let \mathcal{F} be the set of trajectories the robot can execute without falling. If q_{\mathrm{ref}}\notin\mathcal{F}, a policy cannot track it, and the large failure penalty drives the optimum to a trajectory in \mathcal{F} that is close to q_{\mathrm{ref}} in the reward’s metric M. Nothing requires that projection to share the reference’s qualitative structure (its contact sequence). Additional shaping terms change M and therefore which feasible trajectory is chosen, but they cannot make the infeasible one feasible.

A static necessary condition for a single-support phase is that the centre of mass projects into the support polygon, p^{xy}_{\mathrm{com}}(q_{\mathrm{ref}}(t))\in\mathcal{S}(t). In the lineage, hand-authored single-support leg-lift references satisfied every joint limit, yet in the lifted pose the centre of mass lay 0.21 m beside the support foot. Seven reward, initialisation and exploration changes were tried against that reference; each moved its own shaped term, and none produced single support in the deterministic policy.

Reformulation, part 1: feasibility first. Before any reward design, check the static condition at every keyframe and repair violations kinematically. Here a support-leg roll \theta, with ankle roll -\theta to keep the sole flat, moves the centre of mass at a measured \kappa\approx 0.0095 m per degree, so the required shift is \theta\approx d/\kappa=0.21/0.0095\approx 22^{\circ}; at 20^{\circ}, within the 27^{\circ} limit, the residual offset is 0.02 m. Then execute the repaired reference open-loop as a dynamic check: if it reproduces the intended contact sequence for part of the motion, the reference is a sound target.

Reformulation, part 2: residual feed-forward. Rather than asking the policy to rediscover the reference from reward, feed it forward:

q^{\ast}=q_{0}+0.5\,a+r(t),
(2)

with r(t)=0 when no reference is active. Then a=0 reproduces the (feasible) reference, exploration is centred on it, and the learning problem changes from discovery to regulation, as in residual RL [17, 10]. The action space is unchanged, so existing checkpoints load without modification. Measured on the repaired leg-lift reference, open-loop feed-forward alone held the foot clear of the ground for the whole motion, whereas a policy required to discover the support-leg shift from reward held that joint at -1 to -3^{\circ} against a -20^{\circ} target.

VIII Policy Growth

VIII-A Function-preserving input widening

Traditional. When a new capability requires new observations, the input dimension changes, the checkpoint no longer loads, and training restarts from scratch.

Reformulation. Append the new inputs \mathbf{x}_{\mathrm{new}}\in\mathbb{R}^{m} after the old ones and pad the first-layer weights of actor and critic with zeros,

W^{\prime}=\begin{bmatrix}W&\mathbf{0}\end{bmatrix},\qquad W^{\prime}\begin{bmatrix}\mathbf{x}\\
\mathbf{x}_{\mathrm{new}}\end{bmatrix}=W\mathbf{x}.
(3)

Actions and values are preserved exactly, so advantage estimates are not disturbed at the handover. This is the input-side counterpart of plasticity injection [19] and Net2Net [18], which preserve a network’s function while adding capacity; here the added capacity is a new observation channel. Unlike a fully zero-initialised layer, the padded block still receives gradient, \partial L/\partial W_{\mathrm{new}}=\boldsymbol{\delta}\,\mathbf{x}_{\mathrm{new}}^{\top}, which is non-zero whenever the new inputs vary, so they are learnable from the first update. Adam’s moment estimates have the old shape and are discarded; the adaptive-KL learning rate absorbs the resulting transient. The exploration-noise parameterisation must also be read from the checkpoint, since \log\sigma and \sigma are stored under different keys. Widening 253 inputs to 274 reproduced the parent’s actions to within 10^{-5}.

VIII-B Split authority with observed exogenous motion

Traditional. Joints outside the policy are held fixed in training, so the training distribution of their state is a point mass at rest. Any later motion of those joints is a distribution shift. In the lineage, a policy trained with fixed arms fell when an arm was held out sideways: tilt grew from 0.24 to 0.97 over two seconds, because the sustained lateral moment loads the hip-roll joint, already the most heavily loaded in walking.

Reformulation. Drive the non-policy joints during training with an exogenous process (rest poses, keyframe sequences at randomised speed, random poses within soft limits, all smoothly ramped), and include their positions and velocities, but not the command generating them, in the observation. The policy is then a function of the exogenous joint state alone, so at deployment any source of motion, whether a script, a teleoperator or another controller, presents identically. Joints the policy does own are steered by commanded targets rather than external scripts, as for the waist in Section IV.

VIII-C Empirical lineage

Table II and Fig. 2 summarise one parameter lineage grown this way. S1 trained from scratch with standing, observed upper-body motion and a torso target; S2 added a forward-speed curriculum to 2 m/s; S3 added fast upper-body keyframe sequences that drive the torso target; S4 widened the input with a 21-dimensional lower-limb reference (current and 0.2 s ahead, plus an activity flag). In replay, the S1 policy drifts 0.01–0.04 m/s on a zero command and holds a +34^{\circ} torso command at 28–36∘. S3 reduced peak tilt during the fastest arm sequence from 0.34 to 0.21 and base drift from 0.37 m to 0.14 m. The four stages took \approx14.2 wall-clock hours and 6.6\times 10^{8} samples.

TABLE II: One Parameter Lineage. Stage-End Values Are Means Over the Final 100 Iterations of Training Telemetry; per Section V, They Are Not Measured on a Common Distribution.
  • S1
    Adds
    standing, observed upper body, torso target (scratch)
    Iter.
    0–4499
    Obs
    253
    Vel. trk
    0.760
    Fall (%)
    1.27
    Waist err (rad)
    0.057
  • S2
    Adds
    speed curriculum to 2 m/s
    Iter.
    –7498
    Obs
    253
    Vel. trk
    0.717
    Fall (%)
    1.73
    Waist err (rad)
    0.067
  • S3
    Adds
    fast upper-body sequences
    Iter.
    –9497
    Obs
    253
    Vel. trk
    0.758
    Fall (%)
    1.15
    Waist err (rad)
    0.065
  • S4
    Adds
    lower-limb reference (widened)
    Iter.
    –13496
    Obs
    274
    Vel. trk
    0.733
    Fall (%)
    1.03
    Waist err (rad)
    0.067
Fig. 2: Training telemetry across the lineage; dashed lines mark stage boundaries. Each fine-tuning stage begins with randomised episode lengths, so its first 30 iterations are omitted. The fall panel is clipped; S1 starts from scratch at 94 % falls.

IX Traditional Versus Proposed: Summary

Table III collects the reformulations. Read as a checklist, it is a proxy audit: for each quantity that steers or judges learning, ask which column of the table it is in.

TABLE III: Traditional Formulations, Their Divergence Mechanisms, and the Proposed Alternatives
  • Reward
    Traditional
    Gaussian tracking kernel
    Why it diverges
    Loss is second order at the rest state; any first-order incentive causes drift
    Proposed
    Add a first-order (L1) cost active in the rest state
  • Reward
    Traditional
    Penalise only undesirable joints
    Why it diverges
    An unrewarded coordinate with monotone residual objective settles on its bound
    Proposed
    Every actuated coordinate in reward support (regulariser or commanded target) and behind a limit barrier
  • Curriculum
    Traditional
    Gate on error averaged over joints and time
    Why it diverges
    Dilution: accepts misses up to |\mathcal{J}|(\tau-\epsilon)/\rho
    Proposed
    Peak error over actuated joints, conjoined with a contact-level outcome predicate
  • Curriculum
    Traditional
    Threshold set by intuition
    Why it diverges
    May exceed what any policy achieves
    Proposed
    Require \tau\leq\mathbb{E}_{\pi_{\mathrm{ref}}}[m] from an open-loop rollout
  • Curriculum
    Traditional
    Progress judged by level reached
    Why it diverges
    A gate that never refuses carries no information
    Proposed
    Log and inspect the refusal count
  • Curriculum
    Traditional
    Level stored in the environment
    Why it diverges
    Fine-tuning silently changes the objective
    Proposed
    Checkpoint (\theta,\text{optimiser},k); compare on fixed d_{\mathrm{eval}}
  • Measurement
    Traditional
    Outcomes from stochastic rollouts
    Why it diverges
    Noise manufactures thresholded outcomes
    Proposed
    Deterministic evaluation; contact-verified predicates
  • Measurement
    Traditional
    Synchronised batched disturbance
    Why it diverges
    Phase aliasing; bias independent of N
    Proposed
    Per-robot disturbance time over W\geq P
  • Measurement
    Traditional
    Aggregate by convenience
    Why it diverges
    Existential computed for a universal claim
    Proposed
    Match the quantifier to the claim
  • Reference
    Traditional
    Track the reference; reshape reward on failure
    Why it diverges
    Infeasible reference: optimum is a projection onto \mathcal{F} with different contacts
    Proposed
    Static feasibility test, kinematic repair, open-loop check; residual feed-forward
  • Growth
    Traditional
    Retrain when observations change
    Why it diverges
    Discards learned skills
    Proposed
    Zero-padded input widening (function preserving)
  • Growth
    Traditional
    Freeze non-policy joints in training
    Why it diverges
    Point-mass training distribution
    Proposed
    Observed exogenous motion with hidden command

X Discussion

Why the reward is not special. Under the traditional view the reward is the only optimised quantity, and so the only one that can be hacked. Of the divergences above, the curriculum dilution and the noise-manufactured outcome were selected for by optimisation even though neither quantity is a reward; phase aliasing and the quantifier error needed no optimisation at all; and an infeasible reference is a specification error that no optimiser can repair. What unites them is that each reported success through a channel the engineer had already decided to trust. Validation effort should follow trust, not only optimisation pressure.

Cost. None of the reformulations requires additional training. They cost one open-loop rollout per reference and curriculum level, one deterministic replay per reported outcome, a randomised timing schedule in the evaluation harness, and a few lines in the checkpoint format.

Scope. All results are simulated, from a single training seed. The robot’s mass model derives from solid-material density, and actuator limits are those of the simulation rather than the intended motors.

XI Conclusion

The traditional RL pipeline for legged robots treats the reward as the one place where a proxy can diverge from its target. I have argued, with formal conditions and measured instances, that curriculum gates, evaluation statistics and reference motions are proxies of the same kind, and that each has a precise reformulation: first-order costs at rest states, peak and outcome-grounded gates that are reachable and informative, curriculum state saved with the model, deterministic and phase-desynchronised evaluation, and feasibility-first references with residual feed-forward. Combined with function-preserving input widening and split authority, these let a single humanoid policy grow across stages without retraining, while keeping every number that steers it honest.

Reproducibility

All figures are regenerated from the original training logs by the scripts accompanying this manuscript. Environment configurations and reward terms are available from the author on request.

Acknowledgment

This work was carried out independently, without institutional affiliation or external funding. It builds on NVIDIA Isaac Sim, IsaacLab and the rsl_rl implementation of PPO.

References

  1. [1] N. Rudin, D. Hoeller, P. Reist, and M. Hutter, “Learning to walk in minutes using massively parallel deep reinforcement learning,” in Proc. Conf. Robot Learning (CoRL), 2021.
  2. [2] M. Mittal, P. Roth et al., “Isaac Lab: A GPU-accelerated simulation framework for multi-modal robot learning,” arXiv:2511.04831, 2025.
  3. [3] X. B. Peng, P. Abbeel, S. Levine, and M. van de Panne, “DeepMimic: Example-guided deep reinforcement learning of physics-based character skills,” ACM Trans. Graphics, vol. 37, no. 4, 2018.
  4. [4] J. Skalse, N. Howe, D. Krasheninnikov, and D. Krueger, “Defining and characterizing reward hacking,” in Advances in Neural Information Processing Systems (NeurIPS), 2022.
  5. [5] A. Pan, K. Bhatia, and J. Steinhardt, “The effects of reward misspecification: Mapping and mitigating misaligned models,” in Proc. Int. Conf. Learning Representations (ICLR), 2022.
  6. [6] L. Gao, J. Schulman, and J. Hilton, “Scaling laws for reward model overoptimization,” in Proc. Int. Conf. Machine Learning (ICML), PMLR vol. 202, pp. 10835–10866, 2023.
  7. [7] C. Laidlaw, S. Singhal, and A. D. Dragan, “Correlated proxies: A new definition and improved mitigation for reward hacking,” in Proc. Int. Conf. Learning Representations (ICLR), 2025.
  8. [8] C. Tang, B. Abbatematteo, J. Hu, R. Chandra, R. Martín-Martín, and P. Stone, “Deep reinforcement learning for robotics: A survey of real-world successes,” Annu. Rev. Control, Robot., Auton. Syst., vol. 8, pp. 153–188, 2025.
  9. [9] I. Radosavovic, T. Xiao, B. Zhang, T. Darrell, J. Malik, and K. Sreenath, “Real-world humanoid locomotion with reinforcement learning,” Science Robotics, vol. 9, no. 89, 2024.
  10. [10] T. He et al., “ASAP: Aligning simulation and real-world physics for learning agile humanoid whole-body skills,” in Proc. Robotics: Science and Systems (RSS), 2025.
  11. [11] Q. Liao, T. E. Truong, X. Huang, Y. Gao, G. Tevet, K. Sreenath, and C. K. Liu, “BeyondMimic: From motion tracking to versatile humanoid control via guided diffusion,” arXiv:2508.08241, 2025.
  12. [12] Y. J. Ma, W. Liang, G. Wang, D.-A. Huang, O. Bastani, D. Jayaraman, Y. Zhu, L. Fan, and A. Anandkumar, “Eureka: Human-level reward design via coding large language models,” in Proc. Int. Conf. Learning Representations (ICLR), 2024.
  13. [13] G. B. Margolis, G. Yang, K. Paigwar, T. Chen, and P. Agrawal, “Rapid locomotion via reinforcement learning,” Int. J. Robotics Research, vol. 43, no. 4, pp. 572–587, 2024.
  14. [14] R. Agarwal, M. Schwarzer, P. S. Castro, A. Courville, and M. G. Bellemare, “Deep reinforcement learning at the edge of the statistical precipice,” in Advances in Neural Information Processing Systems (NeurIPS), 2021.
  15. [15] A. Patterson, S. Neumann, M. White, and A. White, “Empirical design in reinforcement learning,” J. Machine Learning Research, vol. 25, pp. 1–63, 2024.
  16. [16] X. B. Peng, Z. Ma, P. Abbeel, S. Levine, and A. Kanazawa, “AMP: Adversarial motion priors for stylized physics-based character control,” ACM Trans. Graphics, vol. 40, no. 4, 2021.
  17. [17] T. Johannink et al., “Residual reinforcement learning for robot control,” in Proc. IEEE Int. Conf. Robotics and Automation (ICRA), 2019.
  18. [18] T. Chen, I. Goodfellow, and J. Shlens, “Net2Net: Accelerating learning via knowledge transfer,” in Proc. Int. Conf. Learning Representations (ICLR), 2016.
  19. [19] E. Nikishin, J. Oh, G. Ostrovski, C. Lyle, R. Pascanu, W. Dabney, and A. Barreto, “Deep reinforcement learning with plasticity injection,” in Advances in Neural Information Processing Systems (NeurIPS), 2023.
  20. [20] J. Liu, J. Obando-Ceron, A. Courville, and L. Pan, “Neuroplastic expansion in deep reinforcement learning,” in Proc. Int. Conf. Learning Representations (ICLR), 2025.
  21. [21] S. Dohare, J. F. Hernandez-Garcia, Q. Lan, P. Rahman, A. R. Mahmood, and R. S. Sutton, “Loss of plasticity in deep continual learning,” Nature, vol. 632, pp. 768–774, 2024.
  22. [22] A. Juliani and J. T. Ash, “A study of plasticity loss in on-policy deep reinforcement learning,” in Advances in Neural Information Processing Systems (NeurIPS), 2024.
  23. [23] J. Schulman, F. Wolski, P. Dhariwal, A. Radford, and O. Klimov, “Proximal policy optimization algorithms,” arXiv:1707.06347, 2017.
  24. [24] J. Schulman, P. Moritz, S. Levine, M. Jordan, and P. Abbeel, “High-dimensional continuous control using generalized advantage estimation,” arXiv:1506.02438, 2015.