Back
拆解 arXiv 2609.38981(Duke,2026-09-30,Vosti):Verus 归纳 + Triton kernel verifier (Z3) 把 batch / chunked prefill / prefix 复用 4 类 logit 变化做成端到端形式化保证。
arxiv
llm-inference
determinism
formal-verification
verus
triton
z3
kv-cache
open-source-deep-dive