[lambdas]

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

[mkehrt]

I don't understand that. If it has a correct statement of the theorem and no `believe-me`s or whatever, it should be correct.