@inproceedings{wei2026quokka,
 title={Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis},
 author={Wei, Anjiang and Sun, Tianran and Suresh, Tarun and Wu, Haoze and Wang, Ke and Aiken, Alex},
 booktitle={Conference on Language Modeling (COLM)},
 year={2026}
}