That's the approach we're taking to verify LLM-generated SQL code at http://sql.ai.