Tutor für AISE-Auto – Automation of Logical Reasoning bei Prof. Dr. Christoph Benzmüller im Sommersemester 2026.