[c-cube]

So you can't even debug or check the LLM's output for correctness? Good luck with that.

If anything, the best use for LLMs is to produce code in very strong languages like Lean, where correctness of the code can be established. Just trusting machine code output would be irresponsible.