[2511.13663] SAIL: Sound Abstract Interpreters with LLMs
![[2511.13663] SAIL: Sound Abstract Interpreters with LLMs](/static/img/curated/desks/afbytes-us.png)
AI disclosure
Summary
Abstract page for arXiv paper 2511.13663: SAIL: Sound Abstract Interpreters with LLMs