Contributed Talk
in
Workshop: VerifAI-2: The Second Workshop on AI Verification in the Wild Sun, Apr 26, 2026 • 2:30 PM – 2:45 PM -03

Oral: Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis

Chat is not available.