Adastral Park
Life at Adastral:
BT Applied Research & Tommy Flowers Network thought leadership event: Alessio Lomuscio
29 September 2021
Event type: Networking event
Audience: Open to all
Location: 14:30 to 15:30 - MS Teams
Share on Facebook Share on Twitter Share on LinkedIn Share via email
In this talk Alessio will summarise some of the recent contributions on verification of neural systems from the Verification of Autonomous Systems Lab at Imperial College London. He will focus on the issue of specifications and verification for deep neural classifiers. After a discussion on specifications, he will introduce recent exact and approximate methods, including MILP-based approaches, linear relaxations, and symbolic interval propagation. He will introduce Venus and Verinet, two toolkits developed in the group, and exemplify their use on avionic usec ases developed within the DARPA project on Assured Autonomy. This will enable us to observe that the verification of neural systems with hundreds of thousands of nodes (corresponding to millions of tuneable parameters) is now feasible with further advances likely to be achieved in the near future.

Time permitting, Alessio will briefly discuss closely related ongoing work, including verification of neural-symbolic systems (closed-loop AI systems combining neural and symbolic components), verification of neural networks against geometric and bias-field transformations, automated neural network repair.

The event is open to all - simply register to receive the MS Teams invite.