A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems. - Jonathan Warrell; Alexey Potapov; Adam Vandervorst; Ben Goertzel (AGI, 2022)

Meta-MeTTa: an operational semantics for MeTTa. - Lucius Gregory Meredith; Ben Goertzel; Jonathan Warrell; Adam Vandervorst (CoRR, 2023)

OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond. - Ben Goertzel; Vitaly Bogdanov; Michael Duncan; Deborah Duong; Zarathustra Amadeus Goertzel; Jan Horlings; Matthew Iklé; Lucius Gregory Meredith; Alexey Potapov; Andre Luiz de Senna; Hedra Seid; Andres Suarez; et al. (CoRR, 2023)