Reproduce “Stop Handcrafting Your Engine! GenDB-V: Towards AI-Generated and Formally Verified Database Systems” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Jiale Lao, Immanuel Trummer
GenDB-V lets an AI agent synthesize specialized database storage and query code while an independent verifier checks proofs against fixed SQL behavior. SQLSpec fixes permitted answers without constraining implementation choices, within a supported SQL subset and declared assumptions. Across 22 TPC-H SF100 query templates, joint optimization achieved a 51.6× geometric-mean speedup over DuckDB, a result specific to these templates.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.