Klaus Ostermann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Zoubin Ghahramani
90 publications
Hongseok Yang
29 publications
Sam Staton
22 publications
Adam Ścibior
17 publications
Matthijs Vákár
16 publications
Chris Heunen
11 publications
Ohad Kammar
8 publications
Yufei Cai
2 publications
Sean K. Moss
2 publications
David Binder
1 publication
Julian Jabs
1 publication

research

∙ 11/23/2022

Data-Codata Symmetry and its Interaction with Evaluation Order

Data types and codata types are, as the names suggest, often seen as dua...

0 David Binder, et al. ∙

research

∙ 11/09/2017

Denotational validation of higher-order Bayesian inference

We present a modular semantic account of Bayesian inference algorithms f...

0 Adam Ścibior, et al. ∙