Woche: Tuesday, March 5, 16:15, Zoom | Seminar Formal Methods and Automated Reasoning II (SS 2024) | RISC

Abschnittsübersicht

Introduction and Organization

Wolfgang Schreiner: Machine Learning and Symbolic Computation (some initial ideas for brainstorming)