Zarathustra Amadeus Goertzel

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 16

Top Topics

Rule Interestingness Measures

Empirical Evaluation

Top Venues

LPAR (Workshop and Short Papers)

Publications

Zarathustra Amadeus Goertzel
Beneficial AGI: Care and Collaboration Are All You Need. AGI (2024)
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, Adam Vandervorst, Robert Werko
OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond. CoRR (2023)
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. CoRR (2023)
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. ITP (2023)
Sergey Rodionov, Zarathustra Amadeus Goertzel, Ben Goertzel
An Evaluation of GPT-4 on the ETHICS Dataset. CoRR (2023)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
The Isabelle ENIGMA. ITP (2022)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
The Isabelle ENIGMA. CoRR (2022)
Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban
Fast and Slow Enigmas and Parental Guidance. CoRR (2021)
Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban
Fast and Slow Enigmas and Parental Guidance. FroCoS (2021)
Zarathustra Amadeus Goertzel
Make E Smart Again (Short Paper). IJCAR (2) (2020)
Zarathustra Amadeus Goertzel
Make E Smart Again. CoRR (2020)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban
ENIGMAWatch: ProofWatch Meets ENIGMA. TABLEAUX (2019)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban
ENIGMAWatch: ProofWatch Meets ENIGMA. CoRR (2019)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
ProofWatch: Watchlist Guidance for Large Theories in E. CoRR (2018)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
ProofWatch: Watchlist Guidance for Large Theories in E. ITP (2018)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban
ProofWatch Meets ENIGMA: First Experiments. LPAR (Workshop and Short Papers) (2018)