Multi-agent verification · active research
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?
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.