Formula

Conditional Probability Distribution of the Verification Model in Speculative Decoding

In speculative decoding, the verification model, denoted by pp, defines a conditional probability distribution used to evaluate draft tokens. The probability of a draft token y^i+t\hat{y}_{i+t} is conditioned on the original input XX, the sequence of already verified tokens Y≤iY_{\le i}, and all preceding draft tokens from the current step, y^i+1,…,y^i+t−1\hat{y}_{i+1}, \ldots, \hat{y}_{i+t-1}. This distribution is formally expressed as Pr⁡p ⁣(y^i+t∣X,Y≤i,y^i+1,…,y^i+t−1).\Pr_p\!\left(\hat{y}_{i+t} \mid X, Y_{\le i}, \hat{y}_{i+1}, \ldots, \hat{y}_{i+t-1}\right).

0

1

Updated 2026-06-27

Contributors are:

Who are from:

Tags

Ch.5 Inference - Foundations of Large Language Models

Foundations of Large Language Models

Foundations of Large Language Models Course

Computing Sciences

Related