TY  - RPRT
TI  - Stop Handcrafting Your Engine! GenDB-V: Towards AI-Generated and Formally Verified Database Systems
AU  - Jiale Lao
AU  - Immanuel Trummer
PY  - 2026
UR  - https://arxiv.org/abs/2611.02779
ID  - 2611.02779
ER  -