我们先考虑一般情况下的 RLHF:
πmaxEx∼D[Ey∼π(⋅∣x)[r(x,y)]−βDKL(π(⋅∣x)∥πref(⋅∣x))]
目标是在不过度改变模型输出概率分布的情况下尽可能的提高模型的 Reward 分数。
对于 PPO ,往往需要通过训练一个 Value Model,同时每个 Prompt 都进行多样化的 Rollout,通过 Policy Gradient 来进行近似。而 DPO 则是在判断这个最优的策略是否可以写出来。
对于一个固定的 Prompt x,我们可以得出优化的目标:
πmaxy∑π(y∣x)r(x,y)−βy∑π(y∣x)logπref(y∣x)π(y∣x)
而这个目标包含一个约束:∑yπ(y∣x)=1,所以我们可以构造拉格朗日函数:
J(π,λ)=y∑π(y∣x)r(x,y)−βy∑π(y∣x)logπref(y∣x)π(y∣x)+λ(y∑π(y∣x))
对 π(y∣x) 求偏导,并让整个偏导等于 0 :
r(x,y)−β(logπref(y∣x)π(y∣x)+1)+λ=0
可以求出理论上最优策略的表达式:
π∗(y∣x)=πref(y∣x)exp(βr(x,y))exp(βλ−1)
这里的参数 λ 不依赖于 y,可以代入到其原先的约束 ∑π∗(y∣x)=1 中解出:
exp(βλ−1)y∑πref(y∣x)exp(βr(x,y))=1
为了方便记录,我们可以标记一个 Z(x) 作为配分函数:
Z(x)=y∑πref(y∣x)exp(βr(x,y))
那么我们就可以表示:
exp(βλ−1)=Z(x)1
所以我们可以把最优的策略表示为:
π∗(y∣x)=Z(x)1πref(y∣x)exp(βr(x,y))
我们可以从当前的表示中推出来最优的奖励表示:
r(x,y)=βlogπref(y∣x)π∗(y∣x)+βlogZ(x)
后面一项只和 Prompt 有关(在同一组 Rollout 作差的时候可以直接被消掉),而前一项我们可以得到策略模型相对于参考模型的对数概率比例也是理想奖励的一个关键部分,我们可以把它称之为隐式奖励:
r^θ(x,y)=βlogπref(y∣x)πθ(y∣x)
构造训练目标
现在我们得到了近似最优的奖励表达式,旧可以利用这个奖励的表达来构造训练的目标。
首先我们引入经典的 Bradley-Terry 模型:
P(yw≻yl∣x)=exp(r(x,yw))+exp(r(x,yl))exp(r(x,yw))
我们代入 Sigmoid 函数:σ(z)=1+exp(−z)1,我们可以得到:
P(yw≻yl∣x)=σ(r(x,yw)−r(x,yl))
而代入我们前面算出来的隐式奖励可以得出:
Pθ(yw≻yl∣x)=σ(β[logπref(yw∣x)πθ(yw∣x)−logπref(yl∣x)πθ(yl∣x)])
我们就可以构造出标准的训练目标函数:
LDPO=E(x,yw,yl)Pθ(yw≻yl∣x)
可以把除形式的 Log 变换为差形式的 Log,我们就可以理解,在 DPO 中,不仅要求我们目标策略在 Win 的样本上的生成概率大于 Lose 样本,同时还要求我们的 Win 样本相比于 Lose 样本在相比于在 Ref 模型上的提升更大。