UCSD Hao AI Lab 推出 vstack 与 veriserve 可验证 LLM 基础设施

导读

UCSD Hao AI Lab 提出 vstack，一套面向编码智能体的 5 阶段形式化验证工作流，并发布可验证 PD 分离式服务引擎 veriserve。