Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
DGX agentarXiv:2509.21629v4 Announce Type: replace-cross Abstract: Program verification relies on loop invariants, yet automatically discovering strong invariants remains a long-standing challenge. We investig