Tags: #llm-inference

拆解 arXiv 2609.38981(Duke,2026-09-30,Vosti):Verus 归纳 + Triton kernel verifier (Z3) 把 batch / chunked prefill / prefix 复用 4 类 logit 变化做成端到端形式化保证。