GenDB-V：AI 生成且经形式化验证的数据库系统

论文提出 GenDB-V 系统，利用 AI 智能体生成针对硬件和负载优化的数据库引擎，并通过形式化验证确保正确性。 该系统实现了 SQLSpec 语义形式化及代码与证明的联合合成。在 TPC-H 基准测试中，GenDB-V 验证后的模板实现相比 DuckDB 和 Umbra 获得 22.0-61.3 倍几何平均加速，通用引擎加速 1.27-3.4 倍。