Martin Elsman | DeepAI

DeepAI

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

Featured Co-authors

Robin Kaarsgaard
15 publications
Danil Annenkov
8 publications
Fritz Henglein
5 publications
Mikkel Kragh Mathiesen
2 publications
Robert Schenck
2 publications

research

∙ 07/02/2022

Combinatory Adjoints and Differentiation

We develop a compositional approach for automatic and symbolic different...

0 Martin Elsman, et al. ∙

research

∙ 08/06/2021

Certified Compilation of Financial Contracts

We present an extension to a certified financial contract management sys...

0 Danil Annenkov, et al. ∙