ProofWatch: Watchlist Guidance for Large Theories in E. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Stephan Schulz 001; Josef Urban (ITP, 2018)

ProofWatch Meets ENIGMA: First Experiments. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Josef Urban (LPAR (Workshop and Short Papers), 2018)

ENIGMAWatch: ProofWatch Meets ENIGMA. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Josef Urban (TABLEAUX, 2019)

Make E Smart Again (Short Paper). - Zarathustra Amadeus Goertzel (IJCAR (2), 2020)

Make E Smart Again. - Zarathustra Amadeus Goertzel (CoRR, 2020)

Fast and Slow Enigmas and Parental Guidance. - Zarathustra Amadeus Goertzel; Karel Chvalovský; Jan Jakubuv; Miroslav Olsák; Josef Urban (FroCoS, 2021)

The Isabelle ENIGMA. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Cezary Kaliszyk; Miroslav Olsák; Jelle Piepenbrock; Josef Urban (ITP, 2022)

MizAR 60 for Mizar 50. - Jan Jakubuv; Karel Chvalovský; Zarathustra Amadeus Goertzel; Cezary Kaliszyk; Mirek Olsák; Bartosz Piotrowski; Stephan Schulz 001; Martin Suda 001; Josef Urban (ITP, 2023)

An Evaluation of GPT-4 on the ETHICS Dataset. - Sergey Rodionov; Zarathustra Amadeus Goertzel; Ben Goertzel (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)

Beneficial AGI: Care and Collaboration Are All You Need. - Zarathustra Amadeus Goertzel (AGI, 2024)