Tutorial AI Verification