Adam Vandervorst | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙