GenDB-V：AI生成并经过形式化验证的数据库引擎

来源标题：GenDB-V: AI-generated, formally verified database engines

研究团队推出GenDB-V，一种由AI生成且经过形式化验证的数据库引擎。它利用大模型自动生成数据库引擎代码，并借助形式化证明确保正确性。该工作旨在降低数据库系统的开发与验证成本。