Timon Böhler | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mira Mezini
26 publications
Pascal Weisenburger
5 publications
David Richter
3 publications

research

∙ 07/05/2023

Using Rewrite Strategies for Efficient Functional Automatic Differentiation

Automatic Differentiation (AD) has become a dominant technique in ML. AD...

0 Timon Böhler, et al. ∙

research

∙ 05/15/2023

A Direct-Style Effect Notation for Sequential and Parallel Programs

Modeling sequential and parallel composition of effectful computations h...

0 David Richter, et al. ∙