UCSD Hao AI Lab 发布 vstack 与 veriserve
热点事件持续更新
UCSD Hao AI Lab 发布 vstack 与 veriserve
2 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
UCSD Hao AI Lab 提出面向编码智能体的 5 阶段形式化验证工作流 vstack，并发布可验证的 PD 分离式服务引擎 veriserve。 该团队称，用 vstack 在生产级推理服务中发现 3 类 RDMA 与 KV cache 生命周期 bug，并已提出 6 项上游修复。这些修复是否被上游采纳、漏洞影响哪些引擎，报道未说明。
AI 根据报道生成 · 2 小时前更新
最新进展11月12日 03:14
UCSD 团队用 vstack 发现 PD 分离推理服务 RDMA 竞态漏洞事件进展
2 个进展
- 11月12日 03:14 · 1 篇报道UCSD团队用vstack发现PD分离服务RDMA竞态漏洞RadarAI：UCSD 团队用 vstack 发现 PD 分离推理服务 RDMA 竞态漏洞
- 11月12日 03:14 · 1 篇报道UCSD Hao AI Lab 提出 vstack 并发布 veriserveRadarAI：UCSD Hao AI Lab 推出 vstack 与 veriserve 可验证 LLM 基础设施
报道时间线
沿着报道，了解事件的不同侧面。
11月12日
- RadarAIUCSD 团队用 vstack 发现 PD 分离推理服务 RDMA 竞态漏洞
UCSD Hao AI Lab 用 vstack 在 PD 分离推理服务中发现 3 类 RDMA 与 KV cache 生命周期 bug，已提出 6 项上游修复。
- RadarAIUCSD Hao AI Lab 推出 vstack 与 veriserve 可验证 LLM 基础设施
UCSD Hao AI Lab 提出面向编码智能体的 5 阶段形式化验证工作流 vstack，并发布可验证 PD 分离式服务引擎 veriserve。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。