Verification gives assurance that a program is correct, according to specifications. There is a growing interest in ensuring machine-learning artifacts are correct, though the notion of correctness is not necessarily precise.