Benjamin Sherman | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Michael Carbin
37 publications
Guillaume Baudart
14 publications
Louis Mandel
13 publications
Eric Atkinson
7 publications
Adam Chlipala
6 publications
Marc Pouzet
2 publications
Luke Sciarappa
2 publications
Jesse Michel
1 publication

research

∙ 07/15/2020

λ_S: Computable semantics for differentiable programming with higher-order functions and datatypes

Deep learning is moving towards increasingly sophisticated optimization ...

0 Benjamin Sherman, et al. ∙

research

∙ 08/20/2019

Reactive Probabilistic Programming

Synchronous reactive languages were introduced for designing and impleme...

0 Guillaume Baudart, et al. ∙

research

∙ 05/01/2018

Computable decision making on the reals and other spaces via partiality and nondeterminism

Though many safety-critical software systems use floating point to repre...

0 Benjamin Sherman, et al. ∙