Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

CRC 901 – On-The-Fly Computing (OTF Computing) Show image information

CRC 901 – On-The-Fly Computing (OTF Computing)

|

Second SFB 901 Seminar in winter semester 2019/2020

Begin: Wed, 20. of November 2019 (4:00 PM)
Location: Fürstenallee 11, Room F0.530

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.

The University for the Information Society