SAIL — Sound Abstract Interpreters with LLMs — is accepted at PLDI 2026. [paper] [code]