Equation 19 · How AI Inference Serving Actually Works
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol α
α is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
How to interpret it
Read this expression with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
This rises with both and , but with steeply diminishing returns in for any below one: drafting fifty tokens ahead does not buy anywhere near fifty accepted tokens, because the marginal proposal deep into a long draft is unlikely to be exactly what the target would have generated. The bottleneck decode started with reappears one level down — the draft model is itself a small, serial, memory-bound process, so speculative decoding is not a free lunch; it trades some of decode’s own bandwidth cost for a second model running continuously, plus wasted target-model computation on every rejected proposal. Its win is largest where the roofline argument above says spare…
Read the full surrounding passage
This rises with both and , but with steeply diminishing returns in for any below one: drafting fifty tokens ahead does not buy anywhere near fifty accepted tokens, because the marginal proposal deep into a long draft is unlikely to be exactly what the target would have generated. The bottleneck decode started with reappears one level down — the draft model is itself a small, serial, memory-bound process, so speculative decoding is not a free lunch; it trades some of decode’s own bandwidth cost for a second model running continuously, plus wasted target-model computation on every rejected proposal. Its win is largest where the roofline argument above says spare compute is most available: at low batch sizes, where the target model is memory-bound and its arithmetic units sit mostly idle during an ordinary decode step anyway. That idle arithmetic verifies the extra proposed tokens at close to no additional cost.
Sources cited in the article section
These citations give research context. Read each source to check which claims it supports.