Zarathustra Amadeus Goertzel

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