Verified Machine Learning Infrastructure: Formal Methods for Trustworthy Artificial Intelligence Deployment
The authors determine whether formal methods—using mathematical techniques to reason about software behavior and, potentially, show that systems behave as specified—could meaningfully secure the infrastructure on which artificial intelligence runs.