Self-promo
Runtime Verification CEO discusses formal verification and autonomous AI agents
An October 12 post promoted Everett Hildenbrandt's live talk on stopping autonomous agents from causing catastrophic failures.
TLDR
An October 12 post announced “AI Code Needs Specs: Formal Verification & Safer AI Agents,” with Runtime Verification founder Grigore Rosu scheduled for 9:05 a.m. PT and CEO Everett Hildenbrandt for 9:30 a.m. PT. A later post said Hildenbrandt was live to discuss stopping autonomous agents from causing catastrophic failures and the myths and facts of formal verification.
Combined views
—
3 Sources, first seen ago
