AI verification
AI & Attestation is a new research vertical — verification of computation, models, and AI agents.