NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Neural Network Robustness Certification

Formal verification techniques for proving adversarial robustness and safety guarantees in deep neural networks and AI systems.