Events

Despite its success, leaderboard chasing has become something researchers dread and mock. When implemented properly and executed faithfully, leaderboard chasing can lead to both faster and easily reproducible progress in science, as evident from the amazing progress we have seen with machine learning, or more broadly artificial intelligence, in recent decades. It does not however […]

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