We held our next tinyML Talks webcast. Alessio Lomuscio from Imperial College of London presented Verification of ML-based AI systems and its applicability in Edge ML on October 5, 2021.
IMPORTANT: Please register here
A key difficulty in the deployment of machine learning solutions remain their inherent fragility and difficulty of certification. Formal verification has long been employed in the analysis and debugging of traditional computer systems, including hardware, but its deployment in the context of safety-critical AI-systems remains largely unexplored.
In this talk I will summarize some of the contributions on verification of neural systems from the Verification of Autonomous Systems Lab at Imperial College London, focusing on the issue of specification and verification for deep neural classifiers.
Alessio Lomuscio (Alessio R. Lomuscio) is Professor of Safe Artificial Intelligence in the Department of Computing at Imperial College London (UK), where he leads the Verification of Autonomous Systems Lab. He serves as Deputy Director for the UKRI Doctoral Training Centre in Safe and Trusted Artificial Intelligence. He is a Distinguished ACM member, a Fellow of the European Association of Artificial Intelligence and currently holds a Royal Academy of Engineering Chair in Emerging Technologies.
Watch on YouTube:
Download presentation slides:
Feel free to ask your questions on this thread and keep the conversation going!