@misc{indiciae0c4bc8afb661,
  title = {Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis},
  author = {Anjiang Wei and Tianran Sun and Tarun Suresh and Haoze Wu and Ke Wang and Alex Aiken},
  year = {2026},
  url = {https://arxiv.org/abs/2509.21629},
  note = {Source identifier: 2509.21629}
}