From Verification to Vision