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

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