Verification of Neural Networks

Prof. M. Pawan Kumar

19 July 2023

1:45 pm - 4:30 pm

This event is part of the Safe and Trusted AI Summer School 2023. The Summer School is core for STAI CDT PhD students, and open to a limited number of other students, by invitation.

This talk will focus on three aspects of neural network verification:

– What? A definition of neural network verification, which involves formally proving or disproving that a given neural network satisfies a given specification.

– Why? Applications of neural network verification to motivate the need to make progress in this topic, including certification of robustness of neural networks, and applications in science.

– How? An overview of the state of the art algorithms for neural network verification.

About the speaker

M. Pawan Kumar is a research scientist at DeepMind. Prior to that, he was a faculty member in the Department of Engineering Science at the University of Oxford during 2015 – 2021, where he led the OVAL group which focused on the design and analysis of optimization algorithms for problems arising in computer vision and machine learning. During 2012 – 2015, he was a faculty member in the Center for Visual Computing at Ecole Centrale Paris.