arXiv · cs.AI · Jiale Lao, Immanuel Trummer · 10 小时前模型评分58
GenDB-V：用 人工智能（AI，Artificial Intelligence） 智能体生成并形式化验证数据库引擎
Stop Handcrafting Your Engine! GenDB-V: Towards AI-Generated and Formally Verified Database Systems
导读
论文提出 GenDB-V，让 人工智能（AI，Artificial Intelligence） 智能体针对特定硬件和工作负载合成数据库引擎，并对生成的代码做形式化验证。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
事件类型：研究发布
证据摘录
- “To address these, we present GenDB-V, a system that enables AI agents to synthesize database engines specialized to hardware and workloads for performance, and formally verified for correctness.”
来源：arXiv · cs.AI · arxiv.org