Öffentliche Antrittsvorlesung: Prof. Dr. Gözde Gül Şahin

Im Rahmen des Tages des Department Informatik hält Prof. Dr. Gözde Gül Şahin, Professur für Intelligente Sprachsysteme, ihre öffentliche Antrittsvorlesung. Der Vortrag trägt den Titel Generative Reward Models for Formal Theorem Proving. Das Programm und weitere Informationen erhalten Sie im Flyer der Veranstaltung.