They're reference designs for a reason.
A marriage of formal methods and LLMs seeks to harness the strengths of both.