研究者为 SGLang 编写 200+ 条属性约束，找出 10 个推理缺陷

Grigore Rosu 团队对 LLM 推理服务器 SGLang 开展形式化验证，从文档、注释和代码中提炼 200 多条必须满足的属性，并搜索违反这些属性的运行路径。验证共发现 10 个问题，其中数个正在私下披露修复，已公开的问题以推文线程列出；这种运行时验证方法可复用于 LLM 推理基础设施的质量保障。