Picture for Jacqueline L. Mitchell

Jacqueline L. Mitchell

Can LLMs Formally Reason as Abstract Interpreters for Program Analysis?

Add code
Mar 16, 2025
Viaarxiv icon