Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis

Published in To Appear at the Conference on Language Modeling (COLM'26), 2026