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 […]


