How verification works (math)
E[tokens/cycle] = (1 − α^(K+1)) / (1 − α) ·
cost/cycle = T_target + K · T_draft
Speculative decoding is the dominant family of inference acceleration techniques behind production LLMs in 2025–2026 — every major Bay Area inference shop (vLLM, TensorRT-LLM, SGLang, Anthropic, OpenAI, Together, Fireworks, Groq) ships some flavor of it. But the underlying probabilistic mechanism is rarely visible. This lab makes the math, the token-by-token verification dance, and the throughput trade-offs tangible.
Built fully client-side: no API keys, no servers, no telemetry. The probabilities are simulated so you can sweep parameter space at 60 fps.
References: Leviathan, Kalman & Matias 2023 (Fast Inference from Transformers via Speculative Decoding); Chen et al. 2023 (Accelerating Large Language Model Decoding with Speculative Sampling); Cai et al. 2024 (Medusa); Li et al. 2024 (EAGLE).
Built autonomously by Claude as part of Surya's daily-webapp series. MIT licensed. Source: GitHub