VeriSchema: verified database-schema generation
How can specialized agents generate relational schemas from natural-language requirements while formal checks and targeted repair keep the result consistent?
Multi-agent verification · active research
- Status: Active research · targeting PVLDB
- Collaborator: Dr. Sukarna Barua · BUET
- Last verified: July 10, 2026
VeriSchema assigns entity extraction, relationship mining, normalization, and repair to specialized agents. Z3 consistency checks and component-level retries provide an explicit verification boundary instead of rerunning the complete pipeline after every failure.