2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.DC2026
Vosti: Specifying, Implementing, and Verifying Deterministic LLM Inference
Jianxing Qin, Alexander Du, Danfeng Zhang +2
LLM inference systems may vary batch composition, prompt chunking, prefill/decode execution, and KV-cache reuse, eviction, or recomputation. These optimizations should not affect s…
cs.PL2019★ 2 cited
VST-A: A Foundationally Sound Annotation Verifier
Litao Zhou, Jianxing Qin, Qinshi Wang +2
Program verifiers for imperative languages such as C may be annotation-based, in which assertions and invariants are put into source files and then checked, or tactic-based, where…