Comment by lambdas

Sorry, I mean verify the semantics of what the LLM has generated is exactly what you were asking for.