You're welcome to try other methods but LLMs seem to be working best so far.
With a decompiler it should be pretty straightforward to automatically check for "hallucinations," the compiled code is still right there and you can compare the decompiled logic to the original.