Machine Learning

Research Frontiers in Trustworthy Machine Learning Verification

Creation of formal verification methods and safety guarantees for machine learning systems deployed in safety-critical applications with provable correctness bounds.

All Machine Learning PhD categories