Paper deep dive
Beyond Temporal Proximity: Explanatory World Models for Credit Assignment in Reinforcement Learning
Oriol Corcoll, Qiyao Wei, CiarĂĄn Mark Gilligan-Lee
Intelligence
Status: succeeded | Model: Gemma-4-26B-A4B | Prompt: intel-v1 | Confidence: 93%
Last extracted: 10/12/2026, 7:27:08 AM
Summary
The paper introduces Explanatory World Models (EWM), a framework for credit assignment in Reinforcement Learning that uses language model-generated explanations to attribute rewards to causally relevant past events rather than relying on temporal proximity. EWM employs a conservative hierarchical operator to redistribute rewards based on these explanations, improving performance in long-horizon and delayed-reward settings across benchmarks like Crafter, WordCraft, and KuaiRand.
Entities (9)
Relation Signals (7)
Explanatory World Models â evaluatedon â Crafter
confidence 95% ¡ We evaluate EWM on two controlled long-horizon RL benchmarks... On Crafter... EWM substantially outperforms PPO
Explanatory World Models â evaluatedon â WordCraft
confidence 95% ¡ On Crafter and WordCraft, EWM substantially outperforms PPO and LaRe
Explanatory World Models â evaluatedon â KuaiRand
confidence 95% ¡ On KuaiRand, EWM outperforms SFT and LaRe offline and A2C online.
Explanatory World Models â uses â Conservative Hierarchical Operator
confidence 95% ¡ We instantiate EWM with a frontier language model and use its explanations as learning signals using a conservative hierarchical operator
Explanatory World Models â outperforms â PPO
confidence 92% ¡ On Crafter and WordCraft, EWM substantially outperforms PPO and LaRe
Explanatory World Models â outperforms â LaRe
confidence 92% ¡ On Crafter and WordCraft, EWM substantially outperforms PPO and LaRe
Explanatory World Models â instantiatedwith â claude-sonnet-4.5
confidence 90% ¡ We instantiate the EWM with a frontier language model, in our experiments Claude Sonnet 4.5.
Cypher Suggestions (0)
No Cypher suggestions yet.
Abstract
Abstract:Generative Recommenders increasingly use Reinforcement Learning (RL) to optimize outcomes that may appear hundreds or thousands of interactions after a decision. Standard RL propagates reward according to temporal proximity rather than explicit relevance, attenuating the signal assigned to distant but important actions and creating a source of sample inefficiency. We introduce Explanatory World Models (EWM), an attribution framework that uses explanations to identify the earlier events that plausibly contributed to a realized outcome. We instantiate EWM with a frontier language model and use its explanations as learning signals using a conservative hierarchical operator that recursively redistributes reward while preserving the undiscounted episode return. To investigate what constitutes a useful explanation, we operationalize three complementary variants inspired by Halpern's actual causation, Lombrozo's explanatory simplicity, and Deutsch's hard-to-vary explanations. We evaluate EWM on two controlled long-horizon RL benchmarks, a public sequential-recommendation benchmark, and an industry-scale generative recommender. On Crafter and WordCraft, EWM substantially outperforms PPO and LaRe, with its largest gains when rewards are most delayed. On KuaiRand, EWM outperforms SFT and LaRe offline and A2C online. Finally, in an offline evaluation of an industry generative recommender, EWM considerably improves Recall and increases behavioral proxies. These results suggest that explanations can provide structured and reusable credit for learning from delayed outcomes.
Tags
Links
- Source: https://arxiv.org/abs/2610.13504v1
- Canonical: https://arxiv.org/abs/2610.13504v1
Trouble viewing inline? Open PDF directly â
Full Text
67,699 characters extracted from source content.
Expand or collapse full text
Preprint BEYOND TEMPORAL PROXIMITY: EXPLANATORY WORLD MODELS FOR CREDIT ASSIGNMENT IN REINFORCEMENT LEARNING Oriol Corcoll 1,â , Qiyao Wei 2 , CiarĂĄn Mark Gilligan-Lee 1 1 Spotify 2 University of Cambridge ABSTRACT Generative Recommenders increasingly use Reinforcement Learning (RL) to op- timize outcomes that may appear hundreds or thousands of interactions after a decision. Standard RL propagates reward according to temporal proximity rather than explicit relevance, attenuating the signal assigned to distant but important ac- tions and creating a source of sample inefficiency. We introduce Explanatory World Models (EWM), an attribution framework that uses explanations to identify the earlier events that plausibly contributed to a realized outcome. We instantiate EWM with a frontier language model and use its explanations as learning signals using a conservative hierarchical operator that recursively redistributes reward while preserving the undiscounted episode return. To investigate what constitutes a useful explanation, we operationalize three complementary variants inspired by Halpernâs actual causation, Lombrozoâs explanatory simplicity, and Deutschâs hard-to-vary explanations. We evaluate EWM on two controlled long-horizon RL benchmarks, a public sequential-recommendation benchmark, and an industry-scale generative recommender. On Crafter and WordCraft, EWM substantially outperforms PPO and LaRe, with its largest gains when rewards are most delayed. On KuaiRand, EWM outperforms SFT and LaRe offline and A2C online. Finally, in an offline evaluation of an industry generative recommender, EWM considerably improves Recall and increases behavioral proxies. These results suggest that explanations can provide structured and reusable credit for learning from delayed outcomes. 1INTRODUCTION In long-horizon decision-making problems, the consequences of an action may become apparent only after hundreds or thousands of subsequent decisions. An agent might gather a resource early in an episode but use it hundreds of steps later to complete an achievement spanning thousands of steps. For example, a podcast recommendation surfaced today may introduce a listener to a show, shape their consumption over the following weeks, and ultimately affect whether they remain active months later. A recommender optimized to increase activity must determine which actions deserve credit. This is the problem of temporal credit assignment (Minsky, 1961; Sutton & Barto, 2018). Standard RL algorithms propagate reward backward based on temporal proximity, i.e., assigning more credit to recent actions through discounted returns. This mechanism is computationally convenient, but it embeds a temporal prior: actions closer to a reward are treated as more relevant. Given enough trajectories, an agent may learn to average out these spurious associations and recover the true relations between actions and reward. Doing so requires learning the structure of the environment almost entirely through trial and error. The length of the delay is therefore translated into sample inefficiency, where the further the action, the more interactions are required to identify its contribution. A substantial body of work improves on raw discounted returns through return decomposition, hindsight information, or counterfactual reasoning (Arjona-Medina et al., 2019; Patil et al., 2020; Harutyunyan et al., 2019; Mesnard et al., 2021). These approaches demonstrate that credit does not need to be assigned solely according to the original reward timing. Rather than requiring the policyâs critic to discover relevance only through future-return prediction, we pursue a complementary * Corresponding author: ocorcoll@gmail.com 1 arXiv:2610.13504v1 [cs.LG] 9 Oct 2026 Preprint Figure 1: Explanatory World Model framework. EWMs take evidence (past events) and a phenomenon (the event to explain), and output a hypothesis/explanation about the events causing the phenomenon. direction motivated by work on explanations and causal reasoning. Cognitive and social scientists treat explanations as central to human inquiry and cognition: explanations organize scientific under- standing, drive theory formation, and shape learning, causal inference, and generalization (Hempel & Oppenheim, 1948; Gopnik, 1998; Keil, 2006; Lombrozo, 2006; Felekis et al., 2026; Gilligan-Lee, 2020; Reynaud et al., 2022). Different accounts of explanation emphasize different criteria for identi- fying which preceding events matter (Lombrozo, 2006). Halpern and Pearl ground explanation in actual causation (Halpern & Pearl, 2005); Lombrozo emphasizes explanatory simplicity (Lombrozo, 2007); and Deutsch argues that good explanations are hard to vary and possess reach beyond the phenomenon for which they were constructed (Deutsch, 2011). We present Explanatory World Models (EWM), a framework that attributes an observed event/re- ward to the earlier events/actions that best explain it. Given a trajectory and an event within it, an EWM returns a weighted set of preceding events. A redistribution operator then transports the reward to those events, changing where the learning signal is applied while preserving the episodeâs return. EWM therefore modifies neither the environment nor the policy class; it inserts an attribution step between observing a reward and updating the policy. To convert explanations into a learning signal, we introduce a conservative hierarchical redistribution operator. Explanations provide plausible causes to an outcome; instead of following a temporal bias, we can follow those relations to reallocate value to them. Since EWM explains outcomes, not just rewards, we can apply this process recursively allowing to optimize value for extremely long horizons. Moreover, a key benefit of explanation-based redistribution is its independence from the reward function. Changing the reward function therefore changes how an outcome is valued, but not which preceding events explain it, allowing explanations to be reused across reward functions. We instantiate EWM with a frontier language model, using its prior knowledge to explain observed outcomes without having to learn the environmentâs relations from interaction alone. We evaluate EWM in both long-horizon reasoning and real-world recommendation settings. On Crafter, EWM outperforms PPO across all eight tested combinations of discount factor and episode-length cap. On WordCraft, EWM outperforms PPO (Schulman et al., 2017) on the harder splits. In the offline KuaiRand setting, EWM outperforms SFT and LaRe. In the online KuaiRand setting, EWM out- performs PPO and achieves performance competitive with an oracle method. In an offline replay evaluation of an industry-scale generative recommender, RLFT with EWM increases recall and independent measures of future engagement by3Ăover the SFT baseline, indicating that its gains extend beyond reproducing logged recommendations to downstream engagement proxies. Contributions: ⢠We introduce Explanatory World Models, a general framework that recasts long-horizon credit assignment as explanation-based attribution. â˘We develop a conservative hierarchical redistribution operator that propagates reward backward through an explanation. ⢠We instantiate EWM with a frontier language model whose attributions are restricted to events that occurred in the trajectory. 2 Preprint Figure 2: Traditional credit assignment (red) propagates a reward to temporally adjacent events, regardless of their relevance. EWMâs conservative hierarchical operator (CHO, purple) instead uses the explanatory power of each event, recursively, to attribute the reward. 2RELATED WORK Credit assignment and reward redistribution. Standard RL propagates reward through boot- strapped or discounted returns (Sutton & Barto, 2018; Schulman et al., 2016). Prior work bridges long temporal gaps using learned connections to relevant memories (Ke et al., 2018; Hung et al., 2019), return decomposition (Arjona-Medina et al., 2019; Patil et al., 2020; Zhang et al., 2023), and outcome-conditioned or counterfactual attribution (Harutyunyan et al., 2019; Mesnard et al., 2021; Meulemans et al., 2023). EWM shares the objective of assigning credit to relevant earlier decisions, but derives relevance from a prior-informed explanation of the realized trajectory rather than learning an attribution or return model exclusively from task interactions. It then conservatively redistributes the observed reward and applies an otherwise standard RL algorithm. Explanations and language-model rewards. Research in philosophy and cognitive science treats explanation as a mechanism for identifying the conditions responsible for an observed phenomenon and for supporting learning and causal inference (Hempel & Oppenheim, 1948; Gopnik, 1998; Keil, 2006; Lombrozo, 2006; Miller, 2019). Language models have also been used to generate reward functions and intrinsic goals (Ma et al., 2024; Du et al., 2023). Most closely, LaRe uses an LLM to construct a latent-reward representation and learns a decoder that maps it to episodic returns (Qu et al., 2025). EWM instead asks the model which observed events explain a realized outcome, grounds its attributions in the trajectory, and reallocates an externally specified reward without defining a new reward function. World models and long-term recommendation. Conventional world models learn forward dy- namics for planning or imagined rollouts (Ha & Schmidhuber, 2018; Hafner et al., 2021; 2023), while successor features separate reward-independent dynamics from task-specific value (Barreto et al., 2017). EWM is backward-looking and represents reward-independent explanatory relations among observed events. This attribution is complementary to work on long-term and generative recommendation, which primarily studies policy architecture, action representation, user modeling, and long-term value estimation (Van Goffrier et al., 2023; Deffayet et al., 2023; Gao et al., 2022). 3EXPLANATORY WORLD MODELS This section presents Explanatory World Models and their use for credit assignment. We first define the general framework of explanations, then introduce the conservative hierarchical reward redistribution operator that translates explanations into learning signals, describe frontier models as a practical EWM instantiation, and finally integrate EWM to online and offline RL algorithms. 3.1WHAT IS AN EXPLANATION? Explanations take many forms, making a single definition difficult. Miller (2019) describes ex- planation as an abductive process: given an observed event, or phenomenon, an explainer infers a hypothesis about the causes that brought it about. Elster (2007) states this view succinctly: âTo explain a phenomenon is to cite an earlier event that caused it.â Under this account, explanations express an agentâs causal understanding of the world, and their adequacy depends on how faithfully 3 Preprint Table 1: Operationalization of explanations in each prompt variant. Variant CriterionOperationalization BNeutral explanationSelect plausible contributors to the outcome; return fewer or no events when evidence is weak. HPCounterfactualrele- vance Test whether removing or weakening an event makes the outcome less expected; omit redundant events on the same explanatory path. DHard-to-vary explana- tion Require the explanation to depend on the specific history, behavior, and target. Replacing these details should weaken it; category matching alone is insufficient. LBExplanatory breadthInfer stable preferences or patterns supported across the history that explain and generalize beyond the outcome without covering unrelated behavior. LSExplanatory simplic- ity Prefer few underlying preferences or patterns; select representative events and distinguish foundational evidence from later reinforcement. LIIntegrated explanationCombine breadth, simplicity, specificity, and behavioral grounding; explain the outcome, support generalization, and identify what would weaken the explanation. that understanding captures the relations among events. EWM operationalize this idea by explaining observed outcomes and using the inferred relations to assign credit to preceding events. As represented in Fig. 1, an EWM takes a set of preceding events as input, which constitute the evidence, and an observed event to be explained, which we call the phenomenon. It returns a hypothesis that identifies the preceding events related to the phenomenon and assigns each one a weight representing its estimated contribution. We refer to this weighted hypothesis as an explanation. The relations represented by an EWM are independent of the reward function: they describe how events in the environment relate, not how those events are valued. The same EWM can therefore be reused without learning those relations again. We investigate how different operationalizations of explanation affect retrospective credit assignment. All variants receive the same observed history and retention outcome, but differ in the criteria used to select and assess explanatory events. We consider six variants, listed in Table 1. All variants share the same input and output format but differ in their criteria for selecting and assessing explanatory events. HP is inspired by Halpernâs account of actual causality (Halpern & Pearl, 2005); D by Deutschâs hard-to-vary criterion (Deutsch, 2011); and LB and LS by Lombrozoâs discussion of explanatory virtues (Lombrozo, 2006; 2007). 3.2CONSERVATIVE HIERARCHICAL REWARD REDISTRIBUTION The credit-assignment problem is the challenge of determining which actions, or sequences of actions, contributed to an observed outcome (Minsky, 1961; Sutton & Barto, 2018). When an outcome produces a rewardR, the learner must translate that scalar signal into evidence about decisions made earlier in the trajectory. This becomes particularly difficult when rewards are sparse and the actions responsible for them occurred hundreds or thousands of steps earlier. Reinforcement-learning algorithms commonly address temporal credit assignment using the discounted return G t = Tâtâ1 X k=0 Îł k R t+k+1 = R t+1 + ÎłR t+2 + Îł 2 R t+3 +¡ ,(1) whereÎł â [0, 1]is the discount factor. A rewardâs contribution toG t decreases with its temporal distance from actiona t . Discounting is computationally convenient, but it imposes a temporal prior: actions closer to a reward receive a stronger learning signal than actions farther away, regardless of their relevance to the outcome. As illustrated in Figure 2, temporally nearby events receive substantial initial credit even when they contributed little to the outcome, while the signal associated with distant but important decisions may become too weak to recover. High-throughput simulators can partially compensate for this inefficiency by generating large numbers of trajectories. In real-world systems, however, interactions are expensive, delayed outcomes arrive slowly, and trajectories cannot be replayed freely. A production recommender may observe thousands 4 Preprint of user events between a recommendation and its eventual effect on engagement or retention. EWM complements conventional RL by replacing temporal proximity as the sole initial attribution prior. Conservative hierarchical operator (CHO) The EWM produces an explanation graph in which each phenomenonpis connected to a set of preceding eventsC p =c 1 ,...,c K , with attribution weightsw p,c â [0, 1]. The redistribution operator uses this graph to determine where reward should appear in the trajectory. Unlike the fixed temporal coefficientÎł k , these weights depend on the realized outcome and the evidence in the trajectory. Reward is therefore assigned according to explanatory relevance rather than temporal proximity. The policy optimizer may still apply a discount factor after redistribution, but it operates on the reward stream produced by EWM. The redistribution is hierarchical because an event cited in one explanation may itself be a phe- nomenon with an explanation. Starting from a rewarded phenomenon, the operator divides its reward among its eligible predecessors and recursively repeats this process for each predecessor that can be explained. Recursion terminates when it reaches a maximum depthD, encounters an event without eligible predecessors, or the reward carried is below a defined threshold. The remaining reward is then deposited at that event. At each node, we retain only predecessors whose weight exceeds a threshold Ρ, and normalize their weights locally: Ěw p,c = w p,c P c ⲠâC Ρ p w p,c Ⲡ, C Ρ p =câ C p : w p,c ⼠Ρ.(2) If an amountmreachesp, predecessorcreceives the sharem Ěw p,c . Consequently, the shares allocated at every node sum exactly to the amount received by that node. The operator is conservative: it changes the temporal location of reward but not its total amount. Algorithm 1 Reward Redistribution using Conservative hierarchical operator (CHO) Require:Reward sequencer 0:Tâ1 ; explanation graphH; maximum depthD; minimum attribution Ρ 1: Ěr â r 2: for all rewarded phenomena p such that r p ̸= 0 do 3: mâ r p 4: Ěr p â Ěr p â m⡠remove the mass before reallocating it 5:ALLOCATE(p,m,D,â ) 6: end for 7: return Ěr 8: function ALLOCATE(p,m,d,V ) 9: if d = 0 or pâ V then 10: Ěr p â Ěr p + m 11:return 12: end if 13: C â(c,w)â H(p) : c < p, c /â V, w ⼠Ρ 14: if C =â or P (c,w)âC w = 0 then 15: Ěr p â Ěr p + m 16:return 17: end if 18: W â P (c,w)âC w 19: for all (c,w)â C do 20:m c â mw/W 21:ALLOCATE(c,m c ,dâ 1,V âŞp) 22: end for 23: end function Note that by being recursive CHO can make reward reach arbitrarily far in the sequence of events even with partial trajectories. In other words, EWM and CHO do not need the full episode to reach far into the past, just intermediary events that link the reward event to the rest of the trajectory. 5 Preprint 3.3FRONTIER MODELS AS EWM FOR RL Frontier models. We instantiate the EWM with a frontier language model, in our experiments Claude Sonnet 4.5. Pretraining provides these models with broad priors about physical, procedural, and behavioral relations, while in-context reasoning allows them to apply that knowledge to previously unseen trajectories. We use the model as a backward-looking explainer rather than as a forward simulator, it observes both the completed trajectory and the realized phenomena, and identifies the preceding events that plausibly contributed to each phenomenon. Conveniently, a single model invocation produces the direct explanation graph for the entire trajectory. Then, the produced graph is used by CHO to redistribute reward programmatically to cited events recursively up to the selected depth. Recursion therefore requires no additional model calls, and the same cached explanation graph can be evaluated at different depths, or reward functions. EWM for RL. EWM integrates with reinforcement learning as an attribution layer between observing rewards and updating the policy. Given a completed or partial trajectoryĎ, we first obtain an explanation graphH Ď and then apply the conservative hierarchical operatorRto produce a redistributed reward sequence: H Ď = EWM(Ď ), Ě r =R(r,H Ď ).(3) The RL algorithm subsequently computes returns and advantages from Ě rrather than from the original reward sequencer. EWM therefore replaces a fixed notion of relevance based on temporal distance with trajectory-dependent attribution weights derived from the explanation graph. In the online setting, the policy interacts with the original environment, once an episode is complete or enough steps are gathered, EWM explains its realized outcomes and redistributes the rewards before value targets and policy gradients are computed. EWM does not otherwise modify the interaction protocol, policy architecture, or optimization algorithm, and can therefore be combined with other episodic RL methods that consume per-transition rewards. For offline learning, EWM is applied once to each logged trajectory. The resulting explanation graphs and redistributed rewards can be cached and used to train a policy with return-weighted or advantage-weighted objectives. 4LONG-HORIZON RL EXPERIMENTS 4.1CRAFTER We first evaluate EWM in Crafter (Hafner, 2022), a controlled environment with long, hierarchical de- pendencies between actions and achievements. This setting allows us to isolate the credit-assignment problem and test whether explanation-based redistribution improves learning as rewards become increasingly delayed. We compare EWM against PPO and LaRe (Qu et al., 2025) baselines. We use the symbolic JAX implementation of Crafter (Matthews et al., 2024) and aggregate the rewards of the technology achievements into a single terminal reward given at the end of the episode. By doing this we can assess how delayed and long-horizon rewards pose a challenge to RL methods. We compare recurrent PPO and LaRe on this terminal reward stream with EWM at redistribution depth=1, with all methods using the same policy architecture and training configuration. On Crafter, Figure 3, vanilla PPO clearly cannot learn in delayed long-horizon environments like this. The gap between EWM and LaRe widens withLrather than with further training alone; atL=150 the two credit methods are still close, while atL=1000EWM is about2ĂLaRe, consistent with the terminal reward becoming a longer-horizon assignment problem that redistribution is meant to solve. Moreover, in contrast to LaRe, EWM gets better with increases of L. 4.2WORDCRAFT We next evaluate EWM on WordCraft (Jiang et al., 2020), a combinatorial environment based on the Little Alchemy 2 game. Unlike Crafterâs largely fixed technology tree, WordCraft requires the agent to discover and compose recipes across a larger dependency graph, where early combinations may enable valuable discoveries several steps later. We aggregate all rewards at the end of the episode, creating a controlled long-horizon setting in which the agent must assign a sparse terminal signal 6 Preprint Figure 3: Crafter mean episode return at episode-length caps Lâ 150, 300, 500, 1000. Vanilla PPO stays near the random-policy floor. LaRe recovers some delayed credit; EWM is above LaRe at every horizon, and the gap widens as L grows. to the intermediate discoveries and actions that made it possible. WordCraft therefore tests whether EWM can recover compositional dependencies beyond the sequential progression studied in Crafter. We train all methods using the same recurrent PPO architecture used for Crafter. At each mixing step, the agent selects two entities from a table of at most 24 items; a valid recipe produces a new entity that can support later combinations. We consider two difficulty levels that vary the number of distractors and the depth of the target recipe chain, with episodes capped at 50 mixing attempts. We evaluate a goal objective that provides a single reward when the target entity is created. We compare vanilla PPO, LaRe, EWM-LLM, and additionally include EWM-GT, an oracle explainer that identifies the true recipe dependencies, as a diagnostic of the redistribution operator. Figure 4: WordCraft returns. The 2-mix variant can easily be solved by every algorithm. The 3-mix variant is considerably more difficult due to longer causal chains and only EWM can solve it. As shown in Fig. 4, EWM provides its largest gains as the recipe chain becomes longer and the terminal reward becomes harder to assign. All models, EWM-LLM, PPO and LaRe reach the maximum return on the 2-mix split, whereas on the hard split EWM-LLM reaches almost oracle score, LaRe barely learns and PPO plateaus little above random. These results indicate that the benefit of explanation-based redistribution emerges most clearly when success depends on assigning a sparse terminal reward across a deep sequence of compositional dependencies. 5REAL-WORLD EXPERIMENTS Our empirical study covers the KuaiRand dataset in three item 1 recommendation settings. Firstly, we use EWM in a reward-weighted fine-tuning of Qwen2.5-1.5B-Instruct, where we compare the baseline LaRe method and six EWM explanation-variants from Sec. 3. Then, we use the KuaiRand dataset in an online RL experiment, where we observe that EWM can accurately infer disengagement rules, thereby substantially improving cumulative return compared to vanilla methods like A2C (Mnih et al., 2016). Finally, we apply EWM to an industry-scale recommender . 1 In RL, the word âepisodeâ normally stands for one full session of agent actions. In order to avoid any overload of language, we will name the agent recommendation as an âitemâ. 7 Preprint 5.1KUAIRAND-OFFLINE In this section, we wish to answer the question: can explanation-based credit assignment improve rec- ommendation learning from offline interaction data? Specifically, we study how different retrospective explanations affect reward-weighted supervised fine-tuning (SFT) on the KuaiRand dataset. lare BHPDLBLSLI â0.5 0.0 0.5 1.0 1.5 2.0 2.5 Î vs uni (p) +0.36p +0.59p +1.19p +0.85p +1.99p +0.29p +1.30p auc lare BHPDLBLSLI â6 â4 â2 0 2 Î vs uni (Ă10 âť Âł) -0.41 -0.38 -0.65 -1.34 -5.01 -0.23 -3.50 log_loss (lower better) lare BHPDLBLSLI â2 0 2 4 6 Î vs uni (p) +3.60p +0.47p +2.03p -0.47p +0.63p +0.16p +1.10p hr@10 lare BHPDLBLSLI â1 0 1 2 3 4 Î vs uni (p) +2.16p +0.25p +1.54p +0.09p +0.02p +0.29p -0.05p ndcg@10 lare BHPDLBLSLI â1 0 1 2 3 Î vs uni (p) +1.64p +0.24p +1.42p +0.39p -0.08p +0.34p -0.41p mrr lare BHPDLBLSLI â4 â2 0 2 4 6 8 Î vs uni (p) +2.82p -0.16p +2.50p +2.19p +1.56p +0.94p +2.19p hr@20 P-family v4_r2 + LaRe real arms vs uni B = Baseline HP = Halpern counterfactual D = Deutsch LB = Lombrozo breadth LS = Lombrozo simplicity LI = Lombrozo integrated Figure 5: LB achieves the largest mean AUC improvement and log-loss reduction, whereas LaRe differs most from uniform on the four reported ranking metrics. The results in Figure 5 provide evidence that explanation-based weighting can improve offline recommendation learning. All causal explanations yield positive mean AUC differences relative to Uniform. LB achieves the largest mean AUC improvement of 1.99 percentage points and the largest mean log-loss reduction of5.01Ă 10 â3 . The ranking results reveal another pattern. LaRe achieves the largest mean differences across the four reported ranking metrics, while HP also changes all four metrics on average. In contrast, LBâs mean NDCG@10 difference is close to zero and its mean MRR difference is slightly negative. This distinction is consistent with the different evaluation tasks: AUC measures discrimination across candidate pairs, whereas the ranking metrics evaluate the relative position among sampled candidates. Better aggregate discrimination and lower log loss, therefore, need not imply the trend for top-ranked recommendations; one method could substantially outperform the other on discrimination, yet still preserve the same policy when it comes to ranking recommendations. On the other hand, similar aggregate ranking metrics do not establish that two models produce similar candidate orderings. Intuitively, this suggests that LaRe and HP have resulted in significantly different ranking preferences compared to the uniform baseline, whereas LBâs ranking preference stay relatively close to the baseline SFT. 5.2KUAIRAND-ONLINE In this section, we wish to answer the question: can an explanation-derived behavioral rule improve sequential recommendation by preventing actions that cause user disengagement? We study this question in the KuaiRand environment using an A2C recommendation policy. The reward mod- els, environment dynamics, policy architecture, and training configuration are shared across all experiments. In this experiment, the environment has a hidden termination rule that terminates an episode depending on tag overlap between a candidate video and previously recommended videos, simulating a bored user. We compare four conditions: the vanilla A2C policy, an EWM-derived five-step termination rule, a full-history extension of the EWM-derived rule, and an oracle policy whose recommendations are constructed from the environmentâs actual termination rule. Explanation-derived action gating improves cumulative return in this simulated recommendation setting. Mean evaluation return increases from 3.773 for Vanilla A2C to 6.736 for EWM (w5) and 13.249 for EWM (unbounded), compared with 15.653 for the Oracle gate. These results show that an approximate explanation-derived constraint can be useful even without exactly recovering the environmentâs termination mechanism. 8 Preprint 20406080100 Training epoch 2 4 6 8 10 12 14 16 18 Evaluation return Vanilla 3.7 EWM (w5) 6.8 EWM (unbounded) 13.4 Oracle gate 15.7 Vanilla EWM (w5) EWM (unbounded) Oracle gate 0102030 Steps per episode Vanilla EWM (w5) EWM (unbounded) Oracle gate 8.1 12.3 30.0 30.0 Session length 0.00.20.40.6 Reward per step 0.467 0.546 0.442 0.522 Per-step reward (a) EWM on KuaiRand ¡ A2C (b) Session length and per-step reward 202320242025 Figure 6: The termination rule that 5-window-EWM discovered outperforms the baseline vanilla A2C method, and the full-history EWM comes close to the oracle termination rule results. The session-length and per-step-reward measurements clarify the sources of these gains. EWM (w5) increases mean session length from approximately 8.1 to 12.3 recommendations while also increasing mean reward per step from 0.467 to 0.546. The full-history extension reaches the 30-step horizon, but its mean reward per step decreases to 0.442. Its larger cumulative return is therefore accompanied by longer interaction rather than higher average reward per recommendation. 5.3INDUSTRY GENERATIVE RECOMMENDER We evaluate EWM on an industry-scale generative recommender from a global streaming service, where recommendations may influence engagement days later. We test whether explanatory reach can capture this long-term influence without prescribing a specific engagement metric. For each logged recommendation, a frontier language model constructs a recommendation-rooted explanatory graph over the userâs realized interactions. We derive a reward from this graph, Reach, defined as the number of distinct downstream events connected to the recommendation through high-confidence explanatory relations. We evaluate by offline replay against a held-out log of past recommendations. Each policy produces a slate for every logged context, and we record whether it reproduces the recommendation that was actually served, together with that recommendationâs realised outcome and scoring a miss as zero. We report paired contrasts against the SFT baseline with bootstrap intervals. Table 2: Offline evaluation of EWM-reach RLFT against the SFT baseline. Recall is the rate of reproducing the logged recommendation; converted and broad reach additionally require that action to be followed by a further stream or two. All rows are fold-changes against the baseline. MetricEWM RLFT vs baseline (95% CI) Recall3.75Ă [2.62, 5.79] Converted3.86Ă [2.11, 10.0] Broad reach (âĽ2 streams)4.00Ă [2.18, 11.5] 6CONCLUSION We introduced Explanatory World Models (EWM), which address long-horizon credit assignment by explaining realized outcomes and redistributing reward to relevant earlier events. Our conservative hierarchical operator redistributes credit to relevant events identified by the EWM. We instantiated EWM with a frontier language model and integrated it with both online and offline learning. Across Crafter and WordCraft, EWM outperforms PPO and LaRe under sparse rewards. It also improves over SFT and LaRe in offline KuaiRand experiments and over PPO online, while increasing recall and downstream engagement measures in an industry-scale generative recommender. These results show that explanations can provide structured credit when temporal propagation becomes inefficient. 9 Preprint REFERENCES Jose A. Arjona-Medina, Michael Gillhofer, Michael Widrich, Thomas Unterthiner, Johannes Brand- stetter, and Sepp Hochreiter. Rudder: Return decomposition for delayed rewards. In Advances in Neural Information Processing Systems (NeurIPS), 2019. AndrĂŠ Barreto, Will Dabney, RĂŠmi Munos, Jonathan J. Hunt, Tom Schaul, Hado P. van Hasselt, and David Silver. Successor features for transfer in reinforcement learning. In Advances in Neural Information Processing Systems (NeurIPS), volume 30, 2017. Romain Deffayet, Thibaut Thonet, Jean-Michel Renders, and Maarten de Rijke. Generative slate recommendation with reinforcement learning. arXiv preprint arXiv:2301.08632, 2023. David Deutsch. The Beginning of Infinity: Explanations That Transform the World. Viking, 2011. Yuqing Du, Olivia Watkins, Zihan Wang, CĂŠdric Colas, Trevor Darrell, Pieter Abbeel, Abhishek Gupta, and Jacob Andreas. Guiding pretraining in reinforcement learning with large language models. In International Conference on Machine Learning (ICML), 2023. EasyRL4Rec/MF.EasyRL4Rec:data/MovieLens/provide_MF_results.py.GitHub source code.URLhttps://github.com/chongminggao/EasyRL4Rec/blob/ 8cecd007d4da610a31647406cf079e5d9143df53/data/MovieLens/provide_ MF_results.py. Commit: 8cecd007d4da610a31647406cf079e5d9143df53. EasyRL4Rec/run.EasyRL4Rec:script/run_example_MovieLens.sh.GitHub source code.URLhttps://github.com/chongminggao/EasyRL4Rec/blob/ 8cecd007d4da610a31647406cf079e5d9143df53/script/run_example_ MovieLens.sh. Commit: 8cecd007d4da610a31647406cf079e5d9143df53. EasyRL4Rec/utils.py.EasyRL4Rec:examples/usermodel/usermodel_utils.py.GitHub source code.URLhttps://github.com/chongminggao/EasyRL4Rec/blob/ 8cecd007d4da610a31647406cf079e5d9143df53/examples/usermodel/ usermodel_utils.py. Commit: 8cecd007d4da610a31647406cf079e5d9143df53. Jon Elster. Explaining Social Behavior: More Nuts and Bolts for the Social Sciences. Cambridge University Press, 2007. Yorgos Felekis, Michael OâRiordan, Oriol Corcoll, and CiarĂĄn M Gilligan-Lee. Causal representation learning for generalisable recommendation. arXiv preprint arXiv:2605.27043, 2026. Chongming Gao, Shijun Li, Yuan Zhang, Jiawei Chen, Biao Li, Wenqiang Lei, Peng Jiang, and Xiangnan He. Kuairand: An unbiased sequential recommendation dataset with randomly exposed videos. In Proceedings of the 31st ACM International Conference on Information and Knowledge Management, p. 3953â3957, 2022. doi: 10.1145/3511808.3557624. CiarĂĄn Gilligan-Lee. Causing trouble. New Scientist, 246(3279):32â35, 2020. Alison Gopnik. Explanation as orgasm. Minds and Machines, 8(1):101â118, 1998. David Ha and JĂźrgen Schmidhuber. Recurrent world models facilitate policy evolution. In Advances in Neural Information Processing Systems (NeurIPS), 2018. Danijar Hafner. Benchmarking the spectrum of agent capabilities. In International Conference on Learning Representations (ICLR), 2022. Danijar Hafner, Timothy P. Lillicrap, Mohammad Norouzi, and Jimmy Ba. Mastering atari with discrete world models. In International Conference on Learning Representations (ICLR), 2021. Danijar Hafner, Jurgis Pasukonis, Jimmy Ba, and Timothy Lillicrap. Mastering diverse domains through world models. arXiv preprint arXiv:2301.04104, 2023. Joseph Y. Halpern and Judea Pearl. Causes and explanations: A structural-model approach. part i: Explanations. The British Journal for the Philosophy of Science, 56(4):889â911, 2005. doi: 10.1093/bjps/axi148. 10 Preprint Anna Harutyunyan, Will Dabney, Thomas Mesnard, Mohammad Gheshlaghi Azar, Bilal Piot, Nicolas Heess, Hado van Hasselt, Greg Wayne, Satinder Singh, Doina Precup, and RĂŠmi Munos. Hindsight credit assignment. In Advances in Neural Information Processing Systems (NeurIPS), 2019. Carl G. Hempel and Paul Oppenheim. Studies in the logic of explanation. Philosophy of Science, 15 (2):135â175, 1948. Chia-Chun Hung, Timothy P. Lillicrap, Josh Abramson, Yan Wu, Mehdi Mirza, Federico Carnevale, Arun Ahuja, and Greg Wayne. Optimizing agent behavior over long time scales by transporting value. Nature Communications, 10(1):5223, 2019. doi: 10.1038/s41467-019-13073-w. Minqi Jiang, Jelena Luketina, Nantas Nardelli, Pasquale Minervini, Philip H. S. Torr, Shimon Whiteson, and Tim Rocktäschel. Wordcraft: An environment for benchmarking commonsense agents. arXiv preprint arXiv:2007.09185, 2020. Nan Rosemary Ke, Anirudh Goyal, Olexa Bilaniuk, Jonathan Binas, Michael C. Mozer, Christopher Pal, and Yoshua Bengio. Sparse attentive backtracking: Temporal credit assignment through reminding. In Advances in Neural Information Processing Systems (NeurIPS), volume 31, 2018. Frank C. Keil. Explanation and understanding. Annual Review of Psychology, 57:227â254, 2006. Tania Lombrozo. The structure and function of explanations. Trends in Cognitive Sciences, 10(10): 464â470, 2006. Tania Lombrozo. Simplicity and probability in causal explanation. Cognitive Psychology, 55(3): 232â257, 2007. doi: 10.1016/j.cogpsych.2006.09.006. Yecheng Jason Ma, William Liang, Guanzhi Wang, De-An Huang, Osbert Bastani, Dinesh Jayaraman, Yuke Zhu, Linxi Fan, and Anima Anandkumar. Eureka: Human-level reward design via coding large language models. In International Conference on Learning Representations (ICLR), 2024. Michael Matthews, Michael Beukman, Benjamin Ellis, Mikayel Samvelyan, Matthew Jackson, Samuel Coward, and Jakob Foerster. Craftax: A lightning-fast benchmark for open-ended rein- forcement learning. International Conference on Machine Learning (ICML), 2024. Thomas Mesnard, Theophane Weber, Fabio Viola, Shantanu Thakoor, Alaa Saade, Anna Harutyunyan, Will Dabney, Tom Stepleton, Nicolas Heess, Arthur Guez, Eszter Toth, Edward Hughes, Bilal Piot, Matteo Hessel, Tor Lattimore, Tobias Pohlen, Hado van Hasselt, David Silver, and RĂŠmi Munos. Counterfactual credit assignment in model-free reinforcement learning. In International Conference on Machine Learning (ICML), 2021. Alexander Meulemans, Simon Schug, Seijin Kobayashi, Nathaniel D. Daw, and Gregory Wayne. Would i have gotten that reward? long-term credit assignment by counterfactual contribution analysis. In Advances in Neural Information Processing Systems (NeurIPS), volume 36, 2023. Tim Miller. Explanation in artificial intelligence: Insights from the social sciences. Artificial Intelligence, 267:1â38, 2019. Marvin Minsky. Steps toward artificial intelligence. Proceedings of the IRE, 49(1):8â30, 1961. Volodymyr Mnih, Adria Puigdomenech Badia, Mehdi Mirza, Alex Graves, Timothy Lillicrap, Tim Harley, David Silver, and Koray Kavukcuoglu. Asynchronous methods for deep reinforcement learning. In Proceedings of the 33rd International Conference on Machine Learning, volume 48 of Proceedings of Machine Learning Research, p. 1928â1937. PMLR, 2016. URLhttps: //proceedings.mlr.press/v48/mniha16.html. Vihang P. Patil, Markus Hofmarcher, Marius-Constantin Dinu, Matthias Dorfer, Patrick M. Blies, Johannes Brandstetter, Jose A. Arjona-Medina, and Sepp Hochreiter. Align-rudder: Learning from few demonstrations by reward redistribution. In arXiv preprint arXiv:2009.14108, 2020. Yun Qu, Yuhang Jiang, Boyuan Wang, Yixiu Mao, Cheems Wang, Chang Liu, and Xiangyang Ji. Latent reward: Llm-empowered credit assignment in episodic reinforcement learning. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 39, p. 20095â20103, 2025. 11 Preprint Hadrien Reynaud, Athanasios Vlontzos, Mischa Dombrowski, CiarĂĄn Gilligan Lee, Arian Beqiri, Paul Leeson, and Bernhard Kainz. Dâartagnan: Counterfactual video generation. In International conference on medical image computing and computer-assisted intervention, p. 599â609. Springer, 2022. John Schulman, Philipp Moritz, Sergey Levine, Michael I. Jordan, and Pieter Abbeel. High- dimensional continuous control using generalized advantage estimation. In International Confer- ence on Learning Representations (ICLR), 2016. John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. Proximal policy optimization algorithms. arXiv preprint arXiv:1707.06347, 2017. Richard S. Sutton and Andrew G. Barto. Reinforcement Learning: An Introduction. MIT Press, 2nd edition, 2018. Graham Van Goffrier, Lucas Maystre, and CiarĂĄn Mark Gilligan-Lee. Estimating long-term causal effects from short-term experiments and long-term observational data with unobserved confounding. In Conference on Causal Learning and Reasoning, p. 791â813. PMLR, 2023. An Yang, Baosong Yang, Beichen Zhang, Binyuan Hui, Bo Zheng, Bowen Yu, Chengyuan Li, Dayiheng Liu, Fei Huang, Haoran Wei, et al. Qwen2.5 Technical Report. arXiv preprint arXiv:2412.15115, 2024. URL https://arxiv.org/abs/2412.15115. Yuanqing Yu, Chongming Gao, Jiawei Chen, Heng Tang, Yuefeng Sun, Qian Chen, Weizhi Ma, and Min Zhang. EasyRL4Rec: An Easy-to-use Library for Reinforcement Learning Based Recommender Systems. In Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, p. 977â987. ACM, 2024. doi: 10.1145/ 3626772.3657868. Yudi Zhang, Yali Du, Biwei Huang, Ziyan Wang, Jun Wang, Meng Fang, and Mykola Pechenizkiy. Interpretable reward redistribution in reinforcement learning: A causal approach. In Advances in Neural Information Processing Systems (NeurIPS), volume 36, p. 20208â20229, 2023. 12 Preprint AEWM REDISTRIBUTION ANALYSIS Figure 7 is a static view of Algorithm 1 on three stone-reaching episodes from a dump (terminal reward,L=500,d=2). It is not a training curve: the explainer is Claude Sonnet 4.5 and the arrows are the cited causes. Figure 7: Three Crafter episodes with the same conserved return. Each row is that episodeâs step axis, compressed: cited steps keep a few real neighbours, and each long uncredited run collapses to three dots labelled with the number of hidden steps. Solid orange arrows are depth-1hops from the episode end onto the achievements that earned the reward; dashed purple arrows are depth-2hops from those achievements onto earlier enabling actions. The episode end is a phenomenon holding the whole return (+0.5wood+1.5wood-sword+2.0 stone= +4.00). Depth1(orange) moves that mass onto the three achievements the explainer names as causes of the lump. Depth2(purple) then asks, for each of those achievements, what enabled it. Those second hops are the only reasonplace tableandmake wood pickaxereceive credit. A depth-1operator would have left them at zero. Wood is cited both by the lump and by later achievements, which is why it receives the largest share (about+1.6to+1.8). Under each episode end the environment still records+4.00and EWM has moved the mass, not added any. Summing the EWM amounts on the blue circles recovers +4.00 in every row. BEXPERIMENT DETAILS B.1KUAIRAND-OFFLINE We compare LaRe and six EWM-prompt-variants against a uniform-weight baseline. All experiments use the same Qwen2.5-1.5B-Instruct (Yang et al., 2024) model initialization, training recommendation samples, and training procedure. The experimental intervention is the weighting of supervised training examples derived from the assigned credit. 13 Preprint B.1.1DATASET AND PREPROCESSING We use a preprocessed KuaiRand dataset containing chronological user-video interaction sequences. Binary engagement labels on the feed histories indicate whether an interaction includes a like, follow, forward, or long-view signal. The experiment uses a fixed subset of 1,000 user sessions from the preprocessed data. Following the stored session order, the first 700 sessions are used for training and the remaining 300 for evaluation. This is a fixed session-level partition, rather than a new random split for each training seed. Each evaluation session includes a held-out target from the randomly exposed interactions. Videos are represented through textual metadata, including available captions, creator information, and category descriptions. The implementation reuses a shared recommendation-data interface adapted for KuaiRand videos. B.1.2RECOMMENDATION MODEL AND INPUT REPRESENTATION All experiments fine-tune the Qwen2.5-1.5B-Instruct model. Each supervised example contains the userâs preceding interaction history and a candidate video. The target response is either <answer>like</answer>or<answer>skip</answer>, according to the recorded binary engagement label. The credit-assignment method changes the weight of an example, while its input and target label remain unchanged. In other words, an explanation does not replace the observed engagement label with an LLM-generated label. The maximum input sequence length is 4,096 tokens. Training uses the modelâs chat template, and the supervised loss is applied to answer tokens rather than to the history and candidate-description tokens. B.1.3CREDIT-ASSIGNMENT MECHANISMS We compare eight methods: ⢠Uniform, which assigns unweighted SFT. ⢠LaRe, which uses the LaRe credit annotations to construct training weights. ⢠B, a baseline EWM prompt. ⢠HP, a prompt emphasizing Halpern-style counterfactual explanation. ⢠D, a prompt emphasizing Deutsch-style explanation. ⢠LB, a prompt emphasizing Lombrozo-style explanatory breadth. ⢠LS, a prompt emphasizing Lombrozo-style explanatory simplicity. ⢠LI, an integrated EWM prompt combining LB and LS. For the explanation-prompt variants, the annotation task concerns user retention. The annotator receives a chronological video history and an observed retention outcome, expressed through the userâs subsequent return activity. It identifies videos in the history that plausibly contributed to that outcome. The prompt requests strict JSON containing selected step indices, importance scores, and short explanations. At most five contributing steps are requested. Importance scores lie between zero and one and are not required to sum to one. LetR e denote the nonnegative retention outcome for sessione, and leta e,t denote the valid positive importance assigned to stept. The corresponding per-step reward is er e,t = R e a e,t P j a e,j ,(4) when at least one valid positive importance is available. Unselected steps receive zero reward. If no valid contributing step is available, the reward remains at the final step. Thus, this redistribution preserves the undiscounted session outcome: X t er e,t = R e .(5) For each annotated session, we compute discounted returns from the redistributed rewards: G e,t = T e â1 X k=t Îł kât er e,k , Îł = 0.95.(6) 14 Preprint Returns are converted into positive training weights using an exponential transformation: q e,t = exp clip G e,t Ď ,â20, 20 , Ď = 5.(7) The weights are then normalized jointly across the training examples: w e,t = q e,t 1 N P e Ⲡ,t Ⲡq e Ⲡ,t Ⲡ+ Îľ , Îľ = 10 â8 .(8) The model minimizes weighted answer-token cross-entropy: L(θ) =â 1 |B| X (e,t)âB w e,t X ââA e,t logp θ (y e,t,â | x e,t ,y e,t,<â ),(9) whereA e,t indexes the answer tokens. For Uniform,w e,t = 1for every example. This is an offline supervised objective. It does not use PPO updates, an online recommendation simulator, or a learned value-function baseline. B.1.4TRAINING BUDGET We use seeds 1, 2, and 3. Each condition is trained for one epoch with batch size 4 and AdamW at an initial learning rate of10 â5 . Weight decay is zero, gradients are clipped to a norm of 1.0, and training uses bfloat16 precision. The learning-rate schedule uses a warm-up fraction of 0.03, followed by cosine decay to 10% of the initial learning rate. The saved final evaluation snapshots for all conditions occur at optimization step 5,423. B.1.5EVALUATION PROTOCOL Evaluation measures held-out engagement prediction and candidate ranking. For each historyâ candidate pair, the model produces an engagement score from a two-way softmax over the next-token logits corresponding to like and skip: s θ (h,i) = exp(z like ) exp(z like ) + exp(z skip ) .(10) We report AUC and binary log loss over 300 held-out user targets. Ranking evaluation is restricted to the 213 users whose held-out target has a positive engagement label. For each eligible user, the positive target is ranked against 99 sampled unseen videos using the same model score. We report HR@10, HR@20, NDCG@10, and mean reciprocal rank. The figure uses the final evaluation snapshot. For each metric, we first compute the within-seed difference between a method and Uniform: â m,s = M m,s â M Uniform,s .(11) Bars show the mean of these differences across the three seeds. Error bars show one standard error, computed as the sample standard deviation of the three paired differences divided by â 3. AUC and ranking-score differences are expressed in percentage points. Log-loss differences are expressed in units of 10 â3 . B.2KUAIRAND-ONLINE B.2.1DATASET AND SEQUENTIAL RECOMMENDATION ENVIRONMENT We use the KuaiRand environment provided by EasyRL4Rec (Yu et al., 2024), withis_click as the feedback target. Policy training uses the DeepFM user model to generate simulated feed- back. Evaluation uses the MF-based reward matrix. We follow the reward-model architecture and principal training configurations provided by EasyRL4Rec (Yu et al., 2024), using a five-member DeepFM ensemble for simulated training feedback and an MF-based rating matrix for policy evalu- ation (EasyRL4Rec/run; EasyRL4Rec/MF; EasyRL4Rec/utils.py). These scores are model-based surrogates for user feedback. An evaluation return therefore measures performance in the simulated recommendation environment rather than directly observed engagement from an online deployment. At the beginning of an episode, the environment samples a user and initializes the recommendation 15 Preprint state. The policy then repeatedly selects a video, receives feedback, and updates its state. Episodes end when the environmentâs disengagement condition is met or when the maximum horizon of 30 recommendations is reached. The disengagement mechanism depends on repeated item tags within a history window. The configured parameternum_leave_computeis 10 and the leave threshold is zero. The oracle gate reproduces the implementationâs exact history-window construction. The environment and its termination mechanism remain the same across all four conditions. B.2.2A2C POLICY The recommendation policy uses a shared two-layer network with hidden sizes 64 and 64, followed by an actor head and a value head. The actor produces a categorical distribution over candidate videos, and the critic estimates the return from the current state. The actorâcritic and state tracker are optimized with separate Adam optimizers, both using learning rate 0.001. The discount factor is 0.9, the generalized advantage estimation parameter is 1.0, the value-loss coefficient is 0.5, and the entropy coefficient is zero. No explicit maximum gradient norm is configured in these runs. Training actions are sampled from the categorical policy. Evaluation uses the implementationâs deterministic action-selection mode. B.2.3ACTION-GATING CONDITIONS LetT (i)denote the tags associated with candidate itemi, and letH (m) t denote the history selected by gating conditionm. A recommendation candidate is normally permitted when its tags do not overlap with the tags in that history: M (m) t (i) = I    T (i)⊠[ jâH (m) t T (j) = â    .(12) The resulting action distribution is Ď (m) θ (i| s t ) = M (m) t (i)Ď Î¸ (i| s t ) P j M (m) t (j)Ď Î¸ (j | s t ) .(13) The four conditions are: ⢠Vanilla A2C policy. ⢠EWM (w5), which discovers a rule that blocks candidates sharing a tag with any of the five most recent recommendations. This method implements the discovered rule. â˘EWM (unbounded), which extends the same tag-overlap rule to the entire recommendation history of the current episode. ⢠Oracle gate, which uses the environmentâs actual disengagement-rule window. The discovered rule is fixed before the reported A2C training runs. It is executed as an action mask, so no LLM call is required for each recommendation. The gate is applied during both training rollout collection and evaluation. The corresponding mask is also used when computing action probabilities during the A2C update. The gate does not alter the numerical reward assigned to a selected action. However, because it changes the selected actions and resulting trajectories, realized episode returns need not be equal across conditions. B.2.4TRAINING BUDGET We use seeds 2023, 2024, and 2025. Each condition is trained for 100 epochs with a target of 10,000 environment steps per epoch. Training uses 100 parallel environments, collects 100 episodes per collection round, and uses minibatches of size 1,024 with one optimization repeat per collection round. All four conditions have complete 100-epoch records for all three seeds. B.2.5EVALUATION PROTOCOL Our primary results use the standard free-running evaluation protocol, in which episodes terminate according to the environmentâs disengagement rule or the 30-step horizon. Each recorded epoch-level 16 Preprint evaluation contains 100 episodes. Alternative evaluation variants recorded by the framework are not pooled into the reported results. For each seed, we summarize performance using the mean evaluation return over epochs 76â100: R s = 1 25 100 X e=76 R s,e .(14) We report the mean and sample standard deviation of these seed-level summaries. To examine the source of cumulative-return differences, we additionally report mean episode length and reward per step over the same window. The latter is computed as Q s = P 100 e=76 R s,e P 100 e=76 L s,e ,(15) whereL s,e is the mean episode length. Since every evaluation contains the same number of episodes, this ratio equals total evaluation reward divided by total recommendation steps within the window. Learning curves show unsmoothed mean returns across the three seeds. Shaded bands indicate the minimumâmaximum seed range, not confidence intervals. B.2.6RESULTS The mean evaluation returns are3.773Âą 0.143for Vanilla,6.736Âą 0.269for EWM (w5),13.249Âą 0.184for EWM (unbounded), and15.653Âą 0.252for the Oracle gate, where the uncertainty denotes the sample standard deviation across the three seed-level summaries. The ordering is consistent across all three seeds. Relative to Vanilla, EWM (w5), EWM (unbounded), and the Oracle gate achieve approximately 1.79Ă, 3.51Ă, and 4.15Ă the cumulative return, respectively. The episode-length and per-step-reward measurements clarify these differences. Vanilla averages approximately 8.1 recommendations per episode, compared with 12.3 for EWM (w5). Both EWM (unbounded) and the Oracle gate reach the 30-step horizon throughout the final evaluation window. The discrepancy between EWM (unbounded) and the Oracle gate is likely because EWM (unbounded) prohibits recommendation items that are actually allowed, hence missing out on certain high-reward recommendations. The corresponding mean seed-level rewards per step are approximately 0.467, 0.546, 0.442, and 0.522. Thus, the unbounded gateâs larger cumulative return is accompanied by substantially longer sessions, despite lower average reward per step than Vanilla. This is because the vanilla policy only optimizes for greedy recommendation rewards. The Oracle gate achieves the same session length as the unbounded gate but obtains higher reward per step. These results support the usefulness of explanation-derived rules as operational constraints in this simulated recommendation setting. They also distinguish two aspects of recommendation performance: sustaining interaction and obtaining higher reward from each recommendation. The gains apply to the gated policy system and should not be interpreted as evidence that reward redistribution alone produces the same effect. B.3MOVIELENS-1M In this section, we wish to answer the question: will EWM help in an online recommendation setting? Specifically, we study temporal credit assignment in a sequential recommendation setting using the MovieLens-1M dataset. The policy architecture, environment dynamics, and total reward are held fixed across all experimental conditions. The only experimental variable is how the reward of a completed recommendation session is distributed across individual recommendation actions before computing PPO returns and advantages. We compare four algorithms: dense ground truth rewards, terminal reward only, uniform redistribution, and EWM-based credit redistribution, which is an informed retrospective allocation of episode-level outcomes. B.3.1DATASET AND PREPROCESSING We use the MovieLens-1M dataset, which contains one million explicit ratings from six thousand users across three thousand movies. The ratings lie on a five-point scale. We split the dataset using a global 90/10 split with random seed 42. This is neither a chronological split nor a per-user split, and the training set has nearly the same coverage as the validation set. 17 Preprint User features consist of user ID, gender, age group, and occupation. Movie features consist of movie ID and up to six genre fields. All categorical fields use eight-dimensional embeddings. The resulting concatenated user representation has 32 dimensions, while the concatenated movie representation has 56 dimensions. The environment uses dense zero-based user indices and movie indices. B.3.2TRAINING AND EVALUATION REWARD MODELS The experiment uses two different dense reward matrices: ⢠Five-model DeepFM ensemble, which is used to simulate online feedback ⢠Six-factor matrix factorization, which is used only for policy evaluation and not for training, i.e. an independent surrogate evaluator DeepFM training simulatorThe training simulator is a five-member DeepFM ensemble. DeepFM predicts a rating from a static userâmovie feature tuple and does not read the userâs sequential viewing history. For a given feature vector, its predicted mean combines a linear term, factorization-machine interactions, and a nonlinear network: b R DF (u,i)b + w ⤠x ui + X p<q â¨v p ,v q âŠx ui,p x ui,q + f θ (E(x ui )).(16) The network contains two 128-unit ReLU layers. The ensemble is trained for five epochs using Adam, batch size 2048, embedding dimension 8, and a L2 regularization coefficient of 0.1. After training, each member predicts all possible userâaction combinations. The five predicted means are averaged to obtain a dense user x action matrix. MF-based evaluation simulatorPolicy evaluation uses a separate matrix-factorization model with six-dimensional user and movie factors. It is trained on the same 90% interaction split using mean squared error, SGD with learning rate 0.1 and momentum 0.9, for 80 epochs. Its predictions for all user-action pairs are clipped between0and5before being used by the environment. Consequently, an RL test return is a cumulative score from an MF-completed surrogate environment. What is the difference between DeepFM and MF? DeepFM and matrix factorization (MF) are fitted on the same 90% training split, but differ in their inputs, architectures, and optimization procedures. DeepFM uses user ID, gender, age group, and occupation, together with movie ID and genre features. Each categorical field has an eight-dimensional embedding. The model combines a linear component, factorization-machine interactions, and a nonlinear network with two 128-unit ReLU layers. Five DeepFM models are trained for five epochs each using Adam and batch size 2,048; their predictions are averaged to construct the dense training reward matrix. In contrast, MF uses only user and movie identities. It learns six-dimensional user and movie factors and predicts ratings through their inner products. The model is trained for 80 epochs using mean squared error and SGD with learning rate 0.1 and momentum 0.9. Its predictions form the dense evaluation reward matrix. Before use by the environment, the DeepFM ensemble predictions are shifted by subtracting their global minimum, whereas MF predictions are clipped to[0, 5]. Optimizing dense DeepFM rewards does not necessarily maximize MF evaluation return. Since both models use the same interaction split, MF provides an alternative model-based evaluator rather than an independent source of ground-truth user feedback. B.3.3SEQUENTIAL RECOMMENDATION ENVIRONMENT At the beginning of each episode, a user is sampled uniformly from all 6,040 users. The environment observation always consists of the user index and the most recent recommendation item. With random initialization enabled, the first observation contains a randomly initialized movie and zero feedback; this initial movie is not an action selected by the policy. The policy then acts by selecting one movie to recommend. Episodes have a maximum horizon of 30 actions. 18 Preprint B.3.4ACTOR INPUT AND STATE REPRESENTATION Thus, the actor receives a 57-dimensional state containing the average movie representation and average recent feedback. The pretrained movie embeddings are initialized from the first DeepFM ensemble member. At the first action, the state consists of the randomly initialized movie embedding concatenated with zero feedback. B.3.5PPO POLICY All algorithms use the same discrete PPO actorâcritic network. The network has a shared two-layer MLP that maps the 57-dimensional state through hidden layers of sizes 64 and 64 with ReLU activation. Two separate heads of the network produce: (1) a masked categorical distribution over all actions; (2) a scalar estimate for the possible future returns expected from the current state. Training actions are sampled from the categorical policy, whereas evaluation uses the deterministic argmax action. Stochasticity during training comes from categorical sampling. Advantages are normalized within each minibatch. Gradients are clipped to a norm of 0.2. Both the actorâcritic and state tracker are optimized with Adam at learning rate 0.001. B.3.6TEMPORAL CREDIT-ASSIGNMENT CONDITIONS For a completed trajectory, we construct the PPO learning reward in four ways: ⢠Dense, where the reward for each movie recommendation is passed to the PPO algorithm ⢠Lump, where the algorithm only observes the terminal reward, i.e. the sum of all dense rewards â˘Uniform, where the terminal reward is distributed uniformly across all past recommendation actions ⢠EWM, where the reward assigned to each step is inferred by the EWM framework B.3.7EWM CREDIT REDISTRIBUTION In the current instantiation, EWM uses claude-sonnet-4-5 as a retrospective credit allocator. For each completed episode, the prompt contains three types of information: â˘First, a user profile is constructed exclusively from the training split, containing information such as gender, age group, occupation, etc. ⢠Second, each recommended movie (i.e. past actions) is described using its title, genres, training-set average rating, and number of training raters. This is so that the EWM can have context on what the recommendation task looks like. ⢠Third, EWM receives a scalar episode outcome Crucially, the individual step rewards are never included in the prompt to the EWM. The EWM sees only the aggregate terminal reward. The EWM must return strict JSON, assigning the terminal reward to every recommended episode. Invalid or repeatedly unsuccessful judgments do not zero the trajectory; instead, the original Lump allocation is retained. Successful judgments are stored in an append-only cache keyed by the prompt version, user, and exact ordered movie sequence. RL training runs share this cache and are run sequentially. This improves efficiency and ensures that an identical cached trajectory receives the same credit allocation, and also reduces the noise from LLM judgment. The current configuration uses eight concurrent requests, a limit of 100 attempts per minute, a 240-second timeout, up to 2,400 output tokens, and a budget of 45,000 fresh episodes per seed. Two API keys alternate requests to the same model and endpoint; they are a throughput mechanism, not two independent judges. Temperature is not explicitly specified. B.3.8TRAINING BUDGET We use seeds 2023, 2024, and 2025. Each condition is trained for 100 epochs and 100 episodes per epoch. PPO uses batch size 1,024 and one optimization pass per minibatch. 19 Preprint B.3.9EVALUATION PROTOCOL Evaluation uses the MF-based environment and deterministic action selection. One evaluation is performed before training and one after every epoch. Each evaluation contains 100 episodes. Additional metrics include episode length, mean reward per turn, catalog coverage, intra-session diversity, and novelty. For the main table, we recommend reporting the epoch-100 return for each seed, followed by the mean and sample standard deviation across the three seed-level means. B.3.10RESULTS 543210510152025 01 Very Natural Thing, A (1974) 02 24-hour Woman (1998) 03 Pushing Hands (1992) 04 Cube (1997) 05 301, 302 (1995) 06 Amazing Panda Adventure, The (1995) 07 Threesome (1994) 08 Hurricane Streets (1998) 09 Squeeze (1996) 10 I'l Never Forget What's 'is Name (1967) 11 Ordinary People (1980) 12 Nothing Personal (1995) 13 Metroland (1997) 14 [Missing metadata; movie 740] 15 Snows of Kilimanjaro, The (1952) 16 Cyclo (1995) 17 Black Mask (Hak hap) (1996) 18 McCullochs, The (1975) 19 Barefoot in the Park (1967) 20 Nelly & Monsieur Arnaud (1995) 21 Something to Sing About (1937) 22 Catwalk (1995) 23 Blood and Sand (Sangre y Arena) (1989) 24 Terror in a Texas Town (1958) 25 Isn't She Great? (2000) 26 Dark Command (1940) 27 Clueless (1995) 28 She's So Lovely (1997) 29 [Missing metadata; movie 1761] 30 Jerry & Tom (1998) 15.9% 9.3% 23.8% Simulator ratings Credit assignment Simulator score (increases to the left)Share of episode total (%) DeepFMMF Dense EWM anon 20406080100 Training epoch 60 70 80 90 100 110 Evaluation return anon 71.6 Lump 76.4 Uniform 87.3 Dense 90.5 EWM 107.3 Dense Lump Uniform EWM anon (a) EWM on MovieLens (b) Credit-allocation case study Figure 8: MovieLens-1M policy learning and an illustrative credit allocation. (a) Mean evaluation return across all seeds; shading shows the seed minimumâmaximum range, not confidence intervals. We see that the performance of EWM outperforms baselines dense feedback, uniform redistribution, lump terminal reward, and an ablation where we anonymize all the item names in the EWM prompt (so that the EWM does not get any information about the user). Here, each standard deviation is across 100 evaluation episodes. (b) An example session (user 4707, row 573; 30 recommendations in original order), where training rewards and evaluation scores increase to the left. We can see that EWM predictions happen to line up quite well with MF predictions, especially when MF and DeepFM issues different predictions about the same episode. 050100 Steps per episode Dense Lump Uniform EWM 100 100 100 100 Total steps 0.00.10.20.30.4 Reward per step 0.351 0.248 0.208 0.246 Reward per step 010203040 Cumulative evaluation reward 35.11 24.77 20.79 24.56 Eval return KuaiRand ¡ PPO evaluation Seed 2023 ¡ Epoch 30 Figure 9: Anonymized KuaiRand PPO results for Dense, Lump, Uniform and EWM. Each point is a statistic from the same 100-episode evaluation. Total steps denotes the mean steps per episode, not training steps or the sum across evaluation episodes. Eval return is mean cumulative reward per episode. Similar to the anonymization ablation experiment in the MovieLens setting, we again see here that EWM performs worse than dense baselines in the KuaiRand environment when the environment does not provide information about the recommendation items in the dataset. In other words, the EWM sees limited semantic information, because the EWM prompt primarily represents videos through anonymous item and tag identifiers, which limits the usefulness of the LLMâs semantic prior knowledge. This interpretation is consistent with the MovieLens anonymization results. 20