Clemens Kinn Clemens KinnUniversity of Vienna Advisor:Philipp Petersen Research Topic:Machine Learning and Model Theory