Exciting times for the Systems Research team at @datadoghq that I am also a member of - working on leveraging formal methods to ensure safety and reliability of systems that incorporate AI agents.
This is great news for AI, formal methods and the industry. My background is in safety engineering, and I’ve spent much of the past two years writing and speaking about safety for software built by agents and for agents taking actions autonomously. It has often felt like a fairly
Quote
@JensenHuangSep 28
Jensen Huang
