Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis

Published in Conference on Language Modeling (COLM'26), 2026