Vortrag: Generative Reward Models for Formal Theorem Proving

Öffentliche Antrittsvorlesung von Prof. Dr. Gözde Gül Şahin, Professur für Intelligente Sprachsysteme, zum Thema "Generative Reward Models for Formal Theorem Proving".

Die Antrittsvorlesung findet im Rahmen des Tags der Informatik statt. Nähere Informationen zum Programm und zur Anmeldung finden Sie auf der Webseite des Departments Informatik.