{
  "schema_version": 1,
  "builder_plan": {
    "scenario": "Your self-hosted model spends too long generating answers token by token.",
    "change": "Check whether a compatible draft model and serving integration exist before renting compute.",
    "baseline": "The same target with speculation off, then your existing drafter if you have one.",
    "steps": [
      "Locate the paper's implementation and check its license, model support, data needs, and hardware requirements. Stop here if you cannot obtain the required artifacts.",
      "Save a small set of representative product tasks and expected outcomes. Keep evaluation tasks out of any training or tuning, and choose quality and cost limits before running.",
      "Run the baseline and the proposed change on identical inputs. Keep other settings fixed and repeat paired runs to expose variation.",
      "Save per-task outputs, failures, timings, and all usage costs. Review regressions before expanding the test."
    ],
    "measure": "Accepted draft length, tokens per second, tail latency, output quality, and total GPU cost.",
    "decision": "Keep the change only if it meets your preselected quality and latency limits and improves the metric you care about after setup and operating costs. Otherwise retain the baseline. This is an exploration plan, not a validated recommendation."
  },
  "builder_review": null,
  "arxiv_id": "2607.25852",
  "title": "AngelSpec: Towards Real-World High Performance Inference with Speculative Decoding",
  "summary": "Replaces one universal speculative drafter with two specialized drafters, MTP for chat and block diffusion for code and mathematics, plus adaptive batched verification. It requires training both drafters for Hy3 target models and a custom server with a profiled verification-cost model. Benefits depend on trained drafters and control of the serving loop, which excludes third-party APIs and unsupported open models.",
  "rationale": "The reported gains require custom drafter training and serving control beyond the reader's single-GPU and third-party API setup.",
  "technique": "Hybrid MTP and block-diffusion speculative decoding",
  "family": "decodificacao_especulativa",
  "recommendation": "observar",
  "published": "2026-07-28",
  "as_of": "2026-10-18",
  "editorial_status": "indexed",
  "source_url": "https://arxiv.org/abs/2607.25852",
  "independent_implementations": 3,
  "total_implementations": 3,
  "stars": 1160,
  "citations": 0,
  "claims": [
    {
      "claim_id": "claim-01",
      "statement": "Replaces one universal speculative drafter with two specialized drafters, MTP for chat and block diffusion for code and mathematics, plus adaptive batched verification. It requires training both drafters for Hy3 target models and a custom server with a profiled verification-cost model. Benefits depend on trained drafters and control of the serving loop, which excludes third-party APIs and unsupported open models.",
      "basis": "inferred",
      "result": "",
      "baseline": "",
      "conditions": "",
      "source_url": "https://arxiv.org/abs/2607.25852",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "claim_id": "claim-02",
      "statement": "Reports 1.98-2.40x speedup over autoregressive decoding and 10.5-11.8% higher throughput than DFlash on the Hy3 series.",
      "basis": "inferred",
      "result": "",
      "baseline": "",
      "conditions": "",
      "source_url": "https://arxiv.org/abs/2607.25852",
      "source_page": null,
      "source_excerpt": ""
    }
  ],
  "exposure_map": [
    {
      "dimension": "quality",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "compute",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "latency",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "operations",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "compatibility",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "security",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "data_and_training",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "reproducibility",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    }
  ],
  "risks": [],
  "minimum_test": [],
  "open_questions": [],
  "independent_tests": [],
  "lab_reproductions": [],
  "report_available": false,
  "validation_tier": "unknown",
  "evidence_tier": "unknown",
  "infrastructure_basis": "unknown",
  "equations": [
    {
      "anchor": "S2.E9",
      "label": "(9)",
      "section": "2 Multi-Token Prediction",
      "role": "loss",
      "latex": "\\mathcal{L}_{\\mathrm{e2e}}=1-\\frac{1}{|\\mathcal{I}|D}\\sum_{i\\in\\mathcal{I}}\\sum_{m=0}^{D-1}\\prod_{k=0}^{m}\\alpha_{i,k},",
      "mathml": "<math display=\"block\"><mrow><mrow><msub><mi>ℒ</mi><mi>e2e</mi></msub><mo>=</mo><mrow><mn>1</mn><mo>−</mo><mrow><mfrac><mn>1</mn><mrow><mrow><mo stretchy=\"false\">|</mo><mi>ℐ</mi><mo stretchy=\"false\">|</mo></mrow><mo lspace=\"0em\" rspace=\"0em\">​</mo><mi>D</mi></mrow></mfrac><mo lspace=\"0em\" rspace=\"0em\">​</mo><mrow><munder><mo movablelimits=\"false\" rspace=\"0em\">∑</mo><mrow><mi>i</mi><mo>∈</mo><mi>ℐ</mi></mrow></munder><mrow><munderover><mo movablelimits=\"false\" rspace=\"0em\">∑</mo><mrow><mi>m</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>D</mi><mo>−</mo><mn>1</mn></mrow></munderover><mrow><munderover><mo movablelimits=\"false\">∏</mo><mrow><mi>k</mi><mo>=</mo><mn>0</mn></mrow><mi>m</mi></munderover><msub><mi>α</mi><mrow><mi>i</mi><mo>,</mo><mi>k</mi></mrow></msub></mrow></mrow></mrow></mrow></mrow></mrow><mo>,</mo></mrow></math>",
      "context": "After cold start, training switches to the end-to-end TV objective(Li et al., 2026) based on the expected accepted draft length, where <math display=\"inline\"><mrow><msub><mi>α</mi><mrow><mi>i</mi><mo>,</mo><mi>k</mi></mrow></msub><mo>=</mo><mrow><mi>α</mi><mo>⁡</mo><mrow><mo stretchy=\"false\">(</mo><msub><mi>p</mi><mrow><mi>i</mi><mo>,</mo><mi>k</mi></mrow></msub><mo>,</mo><msub><mi>q</mi><mrow><mi>i</mi><mo>,</mo><mi>k</mi></mrow></msub><mo stretchy=\"false\">)</mo></mrow></mrow></mrow></math>:",
      "headline": "",
      "explanation": "",
      "objective": "",
      "symbols": {},
      "evidence": "",
      "evidence_url": "",
      "source_url": ""
    },
    {
      "anchor": "S3.E12",
      "label": "(12)",
      "section": "3 DFly: Scalable and AR-Aware Parallel Drafting",
      "role": "proposed_method",
      "latex": "g_{t}^{(i)}=\\operatorname{RMSNorm}\\left(c_{t}+f_{t}^{(i)}\\right),",
      "mathml": "<math display=\"block\"><mrow><mrow><msubsup><mi>g</mi><mi>t</mi><mrow><mo stretchy=\"false\">(</mo><mi>i</mi><mo stretchy=\"false\">)</mo></mrow></msubsup><mo>=</mo><mrow><mi>RMSNorm</mi><mo>⁡</mo><mrow><mo>(</mo><mrow><msub><mi>c</mi><mi>t</mi></msub><mo>+</mo><msubsup><mi>f</mi><mi>t</mi><mrow><mo stretchy=\"false\">(</mo><mi>i</mi><mo stretchy=\"false\">)</mo></mrow></msubsup></mrow><mo>)</mo></mrow></mrow></mrow><mo>,</mo></mrow></math>",
      "context": "Motivated by their complementary roles, we formulate target conditioning as a shared-and-specialized decomposition. The FC branch <math display=\"inline\"><msub><mi>c</mi><mi>t</mi></msub></math> establishes a common semantic basis by modeling cross-layer feature interactions, while <math display=\"inline\"><msubsup><mi>f</mi><mi>t</mi><mrow><mo stretchy=\"false\">(</mo><mi>i</mi><mo stretchy=\"false\">)</mo></mrow></msubsup></math> provides a depth-dependent refinement that preserves the target-layer preferences of draft layer <math display=\"inline\"><mi>i</mi></math>. The resulting conditioning representation is",
      "headline": "",
      "explanation": "",
      "objective": "",
      "symbols": {},
      "evidence": "",
      "evidence_url": "",
      "source_url": ""
    },
    {
      "anchor": "S4.E24",
      "label": "(24)",
      "section": "4 Real-World Deployment: D-cut",
      "role": "metric",
      "latex": "\\rho^{\\star}=\\arg\\max_{\\rho\\in\\mathcal{R}}\\frac{U(B,\\rho)}{C(B,\\rho)}.",
      "mathml": "<math display=\"block\"><mrow><mrow><msup><mi>ρ</mi><mo>⋆</mo></msup><mo>=</mo><mrow><mi>arg</mi><mo lspace=\"0.167em\">⁡</mo><mrow><munder><mi>max</mi><mrow><mi>ρ</mi><mo>∈</mo><mi>ℛ</mi></mrow></munder><mo lspace=\"0.167em\">⁡</mo><mfrac><mrow><mi>U</mi><mo>⁡</mo><mrow><mo stretchy=\"false\">(</mo><mi>B</mi><mo>,</mo><mi>ρ</mi><mo stretchy=\"false\">)</mo></mrow></mrow><mrow><mi>C</mi><mo>⁡</mo><mrow><mo stretchy=\"false\">(</mo><mi>B</mi><mo>,</mo><mi>ρ</mi><mo stretchy=\"false\">)</mo></mrow></mrow></mfrac></mrow></mrow></mrow><mo lspace=\"0em\">.</mo></mrow></math>",
      "context": "At server startup, D-cut profiles the end-to-end speculative-step latency <math display=\"inline\"><mrow><mi>C</mi><mo>⁡</mo><mrow><mo stretchy=\"false\">(</mo><mi>B</mi><mo>,</mo><mi>ρ</mi><mo stretchy=\"false\">)</mo></mrow></mrow></math> for each supported <math display=\"inline\"><mrow><mo stretchy=\"false\">(</mo><mi>B</mi><mo>,</mo><mi>ρ</mi><mo stretchy=\"false\">)</mo></mrow></math> pair, including drafting, selection, packing, and target verification. At runtime, it chooses",
      "headline": "",
      "explanation": "",
      "objective": "",
      "symbols": {},
      "evidence": "",
      "evidence_url": "",
      "source_url": ""
    }
  ],
  "equations_status": "selected",
  "core_kind": "formula",
  "equations_fetched_at": "2026-09-14",
  "equations_source_url": "",
  "equations_source_sha256": "",
  "exposures_reviewed_at": "",
  "exposures_source_sha256": ""
}