ASSET Seminar: “Formal Methods for Language Model Systems”
/
Amy Gutmann Hall, Room 414
3333 Chestnut Street, Philadelphia, United States
Formal methods are often dismissed as too rigid, complex, or unscalable for frontier language model systems (e.g., LLMs, VLMs, agentic systems). In this talk, I will challenge this assumption with both theoretical insights and empirical evidence across various domains, including chatbots, autonomous driving, mathematical reasoning, code generation, and agentic AI. I will present a new set of efficient formal frameworks for […]


