Continuous Verification of Machine Learning: a Declarative Programming Approach
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.
Zoom, link above
24 November, 2020, 13:15
24 November, 2020, 14:15