Formal Methods

Research Frontiers in Machine Learning Model Verification

Formal certification methods for neural networks and other learning models to guarantee adversarial robustness and safety properties.

All Formal Methods PhD categories