Research map / Reinforcement learning / Offline RL
A Tractable Inference Perspective of Offline RL
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Proposes Trifle, which uses tractable probabilistic circuits to exactly compute conditional/expected-return queries so sequence-model policies (TT, DT) can sample high-return actions at inference time, improving offline RL on Gym-MuJoCo and stochastic and action-constrained tasks.
Problem
Offline RL via sequence modeling (RvS) often fails at evaluation time because sampling high-return actions requires intractable conditional/constrained generation under stochastic data-collection policies and dynamics.
Approach
Use a probabilistic circuit (HCLT) to exactly compute marginal and conditional probabilities of value estimates, and use these as correction terms in an autoregressive proposal distribution from a GPT prior, followed by beam search over expected returns computed exactly by the PC.
Key results
- Trifle (TT base) achieves average normalized score 83.1 across 9 Gym-MuJoCo tasks, the highest among compared methods, and state-of-the-art on 7 of 9.
- On stochastic Taxi, m-Trifle reaches episode return -57 with failure probability 0.02, versus -182 for TT and -388 for DT.
- On action-constrained Med-Expert MuJoCo variants, Trifle outperforms TT on all three (e.g., Halfcheetah 81.9 vs 77.8, Hopper 109.6 vs 100.0).
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| add tractable inference and return-corrected action sampling to TT | TT on Gym-MuJoCo · Gym-MuJoCo benchmarks | normalized score: 78.9 -> 83.1 | Helped |
| add tractable inference and return-corrected action sampling to TT | TT on Gym-MuJoCo · Gym-MuJoCo benchmarks | normalized score: 95.0{ $\pm$0.2} -> 95.1; 101.9{ $\pm$6.8} -> 109.3; 46.9{ $\pm$0.4} -> 49.5; 61.1{ $\pm$3.6} -> 67.1; 79.0{ $\pm$2.8} -> | Mixed |
| replace single-step RTG estimates with multi-step value estimates (ablation) | Trifle in stochastic Taxi · Stochastic Taxi | episode return: -99 -> -57 | Helped |
| replace single-step RTG estimates with multi-step value estimates (ablation) | Trifle in stochastic Taxi · Stochastic Taxi | failure probability: 0.11 -> 0.02 | Helped |
| use multi-step value estimates instead of TT's Monte Carlo value approximation | Trifle in stochastic Taxi · Stochastic Taxi | episode return: -182 -> -57 | Helped |
| use multi-step value estimates instead of single-step estimates (ablation) | Trifle in stochastic Taxi · Stochastic Taxi | number of penalties: 0.14 -> 0.38 | Hurt |
| use Trifle rather than TT for constrained action sampling | TT on action-constrained Gym-MuJoCo · Action-constrained Med-Expert tasks | normalized score: 77.8{ $\pm$5.4} -> 81.9{ $\pm$4.8}; 100.0{ $\pm$4.2} -> 109.6{ $\pm$2.4}; 103.6{ $\pm$4.9} -> 105.1{ $\pm$2.3} | Helped |
| use Trifle rather than QDT | Gym-MuJoCo value-based comparison · Six Gym-MuJoCo benchmarks | normalized score: 49.5 vs 42.3; 45.0 vs 35.6; 67.1 vs 66.5; 97.8 vs 52.1; 83.1 vs 67.1; 88.3 vs 58.2 | Helped |
Surprising findings
- Single-step Trifle (s-Trifle) outperforms TT in the stochastic Taxi environment despite TT estimating values more accurately, attributed to TT's inefficiency at sampling rewarding actions.
- The reported theory shows that computing the return-conditioned action distribution is NP-hard even under a Naive Bayes model, motivating approximate sampling.
Limitations
- Performance depends on the accuracy of the expressive tractable model (PC) trained on sequential data.
- Current probabilistic circuit implementations are slower than neural network libraries.
Experimental setup
Datasets: D4RL Gym-MuJoCo (HalfCheetah, Hopper, Walker2d medium/medium-replay/medium-expert) Stochastic Taxi (collected with Q-learning agent) Stochastic FrozenLake (DQN-perturbed data)
Benchmarks: Gym-MuJoCo (9 tasks) Stochastic Taxi Stochastic FrozenLake Action-space-constrained Gym-MuJoCo variants
Metrics: normalized score average score episode return inference-time optimality quantile penalty count failure probability
Baselines: Trajectory Transformer Decision Transformer TT(+Q) Decision Diffuser IQL CQL %BC TD3(+BC) Dichotomy of Control QDT
Builds on: Decision Transformer Trajectory Transformer Hidden Chow-Liu Tree probabilistic circuits Decision Diffuser IQL
Closest papers by meaning
- A Clean Slate for Offline Reinforcement Learning (NeurIPS 2025 · similarity 0.91)
- Scaling Offline RL via Efficient and Expressive Shortcut Models (NeurIPS 2025 · similarity 0.90)
- Offline RL with Observation Histories: Analyzing and Improving Sample Complexity (ICLR 2024 · similarity 0.90)
- On the Complexity of Offline Reinforcement Learning with Q*-Approximation and Partial Coverage (NeurIPS 2026 · similarity 0.89)
- Forecasting in Offline Reinforcement Learning for Non-stationary Environments (NeurIPS 2025 · similarity 0.89)
- Are Expressive Models Truly Necessary for Offline RL? (AAAI 2025 · similarity 0.89)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.
