Updates in AI Verification