Sean K. Moss | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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
Tamara von Glehn
7 publications
Yufei Cai
2 publications
Klaus Ostermann
2 publications

research

∙ 05/01/2021

Dialectica models of type theory

We present two Dialectica-like constructions for models of intensional M...

0 Sean K. Moss, 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. ∙

Success!

An error occurred