TY  - RPRT
TI  - Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
AU  - Anjiang Wei
AU  - Tianran Sun
AU  - Tarun Suresh
AU  - Haoze Wu
AU  - Ke Wang
AU  - Alex Aiken
PY  - 2026
UR  - https://arxiv.org/abs/2509.21629
ID  - 2509.21629
ER  -