Chennai Mathematical Institute

Seminars




Computer Science Seminar
Date: Monday, 10 April, 2023.
Time: 2:00 - 3:00 PM
Venue: Lecture Hall 6
Formal methods in Machine Learning

Sreejith AV
IIT Goa.
10-04-23


Abstract

As intelligent algorithms continue to gain wider adoption in various domains, theyare beginning to replace humans in certain contexts. Ensuring the reliability and security of these algorithms in high-risk areas such as self-driving cars or unmanned planes/trains is critical. However, conventional testing methods are often insufficient to address the increased level of risk involved. As a result, formal verification of these algorithms becomes necessary. During this presentation, we'll explore the challenges of using traditional formal methods to verify deep learning models, and consider some recent developments that offer hope in this rapidly evolving field of research.