Adam Vandervorst | DeepAI

DeepAI

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

Featured Co-authors

Ben Goertzel
27 publications
Alexey Potapov
14 publications
Jonathan Warrell
5 publications
Lucius Gregory Meredith
1 publication

research

∙ 05/26/2023

Meta-MeTTa: an operational semantics for MeTTa

We present an operational semantics for the language MeTTa....

0 Lucius Gregory Meredith, et al. ∙

research

∙ 03/30/2022

A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems

We introduce a formal meta-language for probabilistic programming, capab...

0 Jonathan Warrell, et al. ∙