Chalmers Functional Programming Seminar

Continuous Verification of Machine Learning: a Declarative Programming Approach


Abstract

I will discuss state of the art in neural network verification, and in particular I will focus on the trend known as "continuous verification". Continuous verification is a family of methods that explore the continuous nature of machine learning algorithms. I will argue that methods of continuous verification must rely on robust programming language infrastructure (refinement types, automated proving, type-driven program synthesis). This provides a major opportunity for the declarative programming language community to join in the AI verification game.

Join online

Password: 728371

Category Seminar
Location: Zoom, link above
Starts: 24 November, 2020, 13:15
Ends: 24 November, 2020, 14:15

Published: Fri 20 Nov 2020.