Luke Sciarappa | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Michael Carbin
37 publications
Adam Chlipala
6 publications
Span Spanbauer
5 publications
Benjamin Sherman
3 publications

research

∙ 10/08/2020

Neural Group Actions

We introduce an algorithm for designing Neural Group Actions, collection...

0 Span Spanbauer, 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. ∙