Second SFB 901 Sem­in­ar in winter semester 2019/2020

On November 20, 2019, the 2nd SFB 901 seminar in the winter semester will take place.

4:00 - 4:20 subproject B3
Speaker: Prof. Dr. Heike Wehrheim
Title: Validating Properties of Machine Learning Models

4:20 - 5:00
Speaker: Arnab Sharma, subproject B3
Title: Validating Properties of Machine Learning Models

Abstract:
One task of subproject B3 is the quality assurance of software compositions. In the context of AutoML, such compositions often contain machine learning (ML) models. Thus there is a need for developing validation techniques for ML components. This is challenging due to the fact that the behavior of such components is not programmed but learned.

In this talk, we present a testing approach for ML models which targets the validation of one specific property: monotonicity. Our approach generates test inputs for a black-box ML model via verification and counter example generation on a white-box model. Thereby, we can systematically construct test inputs and improve over randomly generated inputs.