My collaborators @JOYSUN200402, @TarunSures41845, and I will be presenting Quokka at COLM 2026.
🗓️ Wednesday, Oct. 7, 11:00 AM - 1:00 PM
📍 Imperial Ballroom, Poster #55
Come chat about LLMs for program verification!
colm.cc/virtual/2026/p…
Excited to share that our paper, “Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis,” has been accepted to #COLM2026! 🎉
Paper: arxiv.org/pdf/2509.21629
Code: github.com/Anjiang-Wei/Qu…
