跳转到内容

VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation

VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation

Section titled “VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation”

⚠️ AI 生成 · 建议对照原文 本页为自动整理的学习笔记;关键数据与引用如需引用,请回查 PDF / 官方版本。

学习档位 中文笔记

类型 文献 · 更新 2026-07-19

所属 强化学习 · 模型部署与推理优化 · 模仿学习与离线学习

中文学习笔记(自动生成,需核验)

Section titled “中文学习笔记(自动生成,需核验)”

Topic: reinforcement-learning · Tier: needs-review · Year: 2023 · Venue:
Evidence level: partial · 本地全文: 是 · 建议阅读: ~40 分钟
Paper: https://arxiv.org/abs/2302.12780
Code:
Generator: grok

首个针对通用MDP与神经网络函数逼近、同时具备可证明统计效率与计算效率的离线RL算法;通过扰动奖励+集成最小值隐式实现悲观主义,避开显式LCB中大协方差矩阵求逆的昂贵计算。

VIPeR通过对离线奖励多次i.i.d.高斯扰动并用集成最小值实现悲观价值迭代,在过参数化神经网络下给出Õ(κH^{5/2} d̃/√K)次优界,动作选择仅需O(1)复杂度。

离线RL中如何在通用MDP上使用神经网络函数逼近设计既有可证明次优保证又计算高效的算法,解决现有LCB方法需显式构造统计置信区域(如求逆大协方差矩阵)导致难以扩展到复杂神经函数逼近的问题。

离线RL与悲观主义原理;有限视野时间非齐次MDP、Bellman算子与次优性定义;过参数化两层神经网络与神经切线核(NTK);梯度下降优化与集成方法;数据覆盖与分布偏移度量κ。

  • 提出VIPeR:多次扰动离线奖励、独立拟合参数模型(如NN)并用集成最小值实现隐式悲观,避免显式置信区域计算。
  • 提出新颖数据划分技术,消除次优界中覆盖数对数因子依赖。
  • 证明在过参数化NN下可得到可证明不确定性量化器,并给出次优界Õ(κH^{5/2} d̃/√K),其中d̃为有效维度。
  • 动作选择时间复杂度仅O(1),对比LCB类算法至少Ω(K²);经验验证统计与计算效率优势,据称是首个对通用MDP+神经函数逼近既可证又计算高效的离线RL算法。

输入离线数据D与参数族F(如NN)、扰动方差{σ_h}、集成数M、正则λ、步长η、GD步数J、截断边距ψ及划分索引{I_h}。从h=H到1:对i=1到M,采样高斯噪声ξ与ζ,扰动目标奖励+Ṽ_{h+1}得到D̃_h^i;用GD(正则化平方损失+扰动)从W0优化得W̃_h^i;取min_i f(·;W̃_h^i)并截断得Q̃_h;贪婪得π̃_h与Ṽ_h。输出π̃。数据按轨迹索引均分到H个不相交桶I_h。

  1. 奖励+下一状态价值扰动(高斯噪声)+独立集成训练实现隐式悲观(取min而非共享目标);2) 轨迹索引均匀划分为H个不相交子集I_h,使Q̃_h仅依赖对应桶与Ṽ_{h+1},去除数据依赖结构与覆盖数log因子;3) 过参数化两层ReLU NN+对称初始化+GD(分析便利,可扩展SGD);4) 截断Q̃_h于(H-h+1)(1+ψ)保证有界;5) 取舍:计算简单O(1)动作选择 vs 显式LCB求逆,扰动参数σ_h与M需足够大以保证高概率悲观。

在广泛合成与真实世界数据集上进行经验评估;指标关注次优性与计算效率(对比LCB神经算法)。具体数据集名称、规模、精确指标数值待来源核验。

理论:在Assump.5.1(Bellman完备性,BhV∈Q*)与适当超参(σ_h=σ含B与d̃项、m=poly(…)、λ=1+H/K、M= log(HSA/δ)/log(1/(1-Φ(-1)))等)下,以高概率SubOpt(π̃;s1) ≤ σ(1+√(2log(MSAH/δ)))·E_{π*}[∑h ||g(s_h,a_h;W0)||{Λ_h^{-1}}] + Õ(1/K’),整体Õ(κH^{5/2}d̃/√K)。经验:计算效率有显著优势并优于LCB神经算法。更细数值/表格待来源核验。

分析依赖过参数化(m充分大)与NTK/RKHS有效维度;需Bellman完备性Assump.5.1(Q*对无限宽NN稠密但B需足够大);当前分析用两层NN与GD(虽可扩展);σ_h、M、ψ等超参需仔细设置以保证高概率;数据划分使每层有效样本为K/H;适用边界为有限视野离线MDP且函数类可用过参数化NN逼近,分布偏移由κ刻画;失败场景包括覆盖极差或NN宽度不足时理论保证失效。

与前序 / 同期 / 后续方法的关系

Section titled “与前序 / 同期 / 后续方法的关系”

在线随机化价值函数(Osband等扰动/后验采样,Ishfaq等一般函数逼近,Jia等神经bandit);离线线性悲观VI(Jin等,Xiong/Yin方差减少,Xie等Bellman一致性);FQI类(Munos等)需强覆盖,悲观类(Uehara/Sun,Nguyen-Tang等)需显式置信;Bai等(2022)用bootstrap分歧估不确定但仅线性保证。VIPeR修复共享悲观目标的缺陷(Ghasemipour等指出),用独立更新+min实现悲观,并扩展到神经一般MDP。

摘录中未提供官方代码链接或实现细节;复现建议:按Algo1实现数据划分I_h、多次独立高斯扰动目标+正则GD、取min并截断、贪婪策略;用过参数化两层ReLU+对称初始化;调σ_h、M、λ、η、J、ψ;对比LCB神经基线并测动作选择时间与次优。待来源核验完整代码与超参。

先读Abstract与§1 Introduction理解动机与贡献;再读§3 Preliminaries(MDP与过参数化NN);重点读§4 Algorithm(Algo1/2与数据划分图);然后§5 Theorem1与假设/定义(NTK、有效维度、Q*);补充§2 Related Work;最后经验部分与附录(若有)技术细节。

  1. Q: VIPeR如何隐式实现悲观主义而不构造显式LCB? A: 对离线数据多次独立添加精心设计的i.i.d.高斯噪声扰动奖励(+Ṽ_{h+1}),分别用GD拟合得到集成估计,再取最小值(并截断)作为悲观Q̃_h,贪婪行动。
  2. Q: 数据划分I_h的作用是什么? A: 将[K]均匀分成H个不相交桶,使每个h的Q̃_h仅用I_h数据与Ṽ_{h+1},去除数据依赖结构并消除次优界中覆盖数对数因子。
  3. Q: Theorem1给出的次优界形式是什么?主要依赖哪些量? A: Õ(κH^{5/2} d̃ / √K),其中d̃为NTK有效维度(max_h d̃_h)、H视野、κ分布偏移、K轨迹数;证明在过参数化NN与Bellman完备性下成立。
  4. Q: 与LCB基线相比,VIPeR在动作选择上的计算优势是什么? A: VIPeR动作选择仅O(1)时间复杂度,而LCB神经算法至少需Ω(K²)(因大协方差求逆等)。
  5. Q: 关键假设Assump.5.1是什么?为何认为温和? A: 对任意V:S→[0,H+1]与h,BhV ∈ Q*(无限宽NTK RKHS的某有界子集)。因Q*在B=∞时稠密于Hntk,B足够大时表达力强。
  • page 1 Abstract: We propose a novel algorithm for offline reinforcement learning called Value Iteration with Perturbed Rewards (VIPeR), which amalgamates the pessimism principle with random perturbations of the value function. … VIPeR only needs O(1) time complexity for action selection, while LCB-based algorithms require at least Ω(K²) … enjoys a bound on sub-optimality of Õ(κH^{5/2} d̃/√K) … To the best of our knowledge, VIPeR is the first algorithm for offline RL that is provably efficient for general Markov decision processes (MDPs) with neural network function approximation.
  • page 2-3 §1/§2: Instead, VIPeR implicitly obtains pessimism by simply perturbing the offline data multiple times with carefully-designed i.i.d. Gaussian noises to learn an ensemble of estimated state-action value functions and acting greedily with respect to the minimum of the ensemble. … We also propose a novel data-splitting technique that helps remove a factor involving the log of the covering number in our bound.
  • page 4 Algorithm 1: for h = H, . . . , 1 do for i = 1, . . . , M do Sample {ξ_h^{k,i}} ~ N(0,σ_h²) … Perturb the dataset D̃_h^i ← {s_h^k, a_h^k, r_h^k + Ṽ_{h+1}(s_{h+1}^k) + ξ…} Let W̃_h^i ← GradientDescent(…) Compute Q̃_h(·,·) ← min{min_i f(·,·;W̃_h^i), (H-h+1)(1+ψ)}+ π̃_h ← arg max …
  • page 5-6 §5 Theorem 1 / Assump.: Assumption 5.1 (Completeness). For any V : S → [0, H + 1] and any h ∈ [H], Bh V ∈ Q*. … with probability at least 1−MHm^{-2}−2δ, for any s1 ∈ S, we have that SubOpt(π̃;s1) ≤ σ(1+√(2log(MSAH/δ))) · E_{π*} [∑h ||g(s_h,a_h;W0)||{Λ_h^{-1}}] + Õ(1/K’)
  • page 1 Abstract / page 2: We corroborate the statistical and computational efficiency of VIPeR with an empirical evaluation on a wide set of synthetic and real-world datasets. … The experimental results show that the proposed algorithm has a strong advantage in computational efficiency while outperforming LCB-based neural algorithms.
  • topic: reinforcement-learning
  • sources: arxiv
  • retrieved_at: 2026-07-20
  • query: reinforcement learning end-to-end driving
  • arxiv: 2302.12780
  • score_total: 50
  • suggested_tier: recent

(no prose relevance explanation — numeric score only or HTTP source)

(no snippet evidence in candidate pool)

生成:2026-07-21 · 来源条数 2 · 模型 heuristic · 需人工核验数字

围绕「VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation」的核心问题与动机(待结合全文核验)。

  • 见原文方法章节;以下为基于摘要/摘录的要点提示。
  • Published as a conference paper at ICLR 2023 VIP E R: P ROVABLY E FFICIENT A LGORITHM FOR O F - …

与相近工作的关系待核验;请对照 related work。

  • 勿仅凭摘要推断未给出的数值指标。
  1. 这篇工作的输入/输出表示是什么?(VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation)
  2. 训练目标与评测协议各是什么?
  3. 主要失败模式或局限是什么?
flowchart LR
A["输入 / 观测"] --> B["表示 / 编码"]
B --> C["推理 / 解码"]
C --> D["输出 / 动作或检测"]
%% method sketch for: VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approxim

方法结构示意(重绘;细节以原论文为准,待 PDF 核验)。

VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation arch p.4

来源:原论文约 p.4(arch);学习用途摘录。

VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation table p.7

来源:原论文约 p.7(table);学习用途摘录。

展开英文 Paper Card / AI deep analysis
Field Content
Year 2023
Authors Thanh Nguyen-Tang, Raman Arora
arXiv 2302.12780
DOI
Topics reinforcement-learning, deployment-inference, imitation-offline
Paper https://arxiv.org/abs/2302.12780
展开 Extract / Selections / Local assets
  • reinforcement-learning: tier=needs-review rank=3 score=50 — auto refresh 2026-07-19 sources=arxiv
  • deployment-inference: tier=watch rank=1 score=51 — cross-topic assign from registry title match=1 keywords; 2026-07-19
  • imitation-offline: tier=watch rank=3 score=51 — cross-topic assign from registry title match=1 keywords; 2026-07-19
Published as a conference paper at ICLR 2023
VIP E R: P ROVABLY E FFICIENT A LGORITHM FOR O F -
FLINE RL WITH N EURAL F UNCTION A PPROXIMATION
Thanh Nguyen-Tang Raman Arora
Department of Computer Science Department of Computer Science
Johns Hopkins University Johns Hopkins University
Baltimore, MD 21218, USA Baltimore, MD 21218, USA
nguyent@cs.jhu.edu arora@cs.jhu.edu
arXiv:2302.12780v2 [cs.LG] 4 Mar 2023
A BSTRACT
We propose a novel algorithm for offline reinforcement learning called Value Iter-
ation with Perturbed Rewards (VIPeR), which amalgamates the pessimism prin-
ciple with random perturbations of the value function. Most current offline RL
algorithms explicitly construct statistical confidence regions to obtain pessimism
via lower confidence bounds (LCB), which cannot easily scale to complex prob-
lems where a neural network is used to estimate the value functions. Instead,
VIPeR implicitly obtains pessimism by simply perturbing the offline data multi-
ple times with carefully-designed i.i.d. Gaussian noises to learn an ensemble of
estimated state-action value functions and acting greedily with respect to the min-
imum of the ensemble. The estimated state-action values are obtained by fitting a
parametric model (e.g., neural networks) to the perturbed datasets using gradient
descent. As a result, VIPeR only nee