Verification Design

Mark Pesce · University of Sydney · July 2026 AI can be incredibly powerful. But it&apos;s not particularly reliable. That&apos;s a problem when relying on factual and accurate answers, but it&apos;s fatal when trying to work with agents. Agents break big problems down into