That you anticipated a retort isn’t enough. You also have to refute it.

Yeah compilers are deterministic and LLMs are not. The response to that?

The answer could very well be something like what’s in TFA namely formal verification. But an answer here is needed.