Would be curious as to how you check and verify LLMs? And how you get guaranteed correct code? Verifying code produced is a much simpler task for some code bec

Would be curious as to how you check and verify LLMs? And how you get guaranteed correct code? Verifying code produced is a much simpler task for some code because I, as a human, can look at a generated snippet and reason about it and determine if it is what I want. I can also create tests to say “does this code have this effect on some variable” and then proceed to run the test.