Designing Predictable LLM-Verifier Systems for Formal Method GuaranteeComments on Hacker News | Source