A conference talk by the CEO of Safe Intelligence covering spec-driven testing and validation for AI agents. The core argument is that evaluating agents requires more than a dataset of input/output examples — it demands explicit specifications covering business rules, domain ontologies, user roles/permissions, and robustness requirements. The speaker draws parallels to formal verification techniques used in vision model validation and advocates for task-specific benchmarks that go beyond standard evals. Key points include: larger models aren't always safer (some jailbreaks work better on smarter models), broader agent capabilities create larger attack surfaces, and specs should remain implementation-independent so tests can be reused across infrastructure changes. The talk also touches on using agent specs to inform security/penetration testing and iterative robustness improvement.

13m watch time
178 Impressions