Zarathustra Amadeus Goertzel

According to our database, Zarathustra Amadeus Goertzel authored at least 10 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Adam Vandervorst, Robert Werko

CoRR, 2023

An Evaluation of GPT-4 on the ETHICS Dataset.

Sergey Rodionov, Zarathustra Amadeus Goertzel, Ben Goertzel

CoRR, 2023

MizAR 60 for Mizar 50.

Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

The Isabelle ENIGMA.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Fast and Slow Enigmas and Parental Guidance.

Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Make E Smart Again.

Zarathustra Amadeus Goertzel

CoRR, 2020

Make E Smart Again (Short Paper).

Zarathustra Amadeus Goertzel

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

ENIGMAWatch: ProofWatch Meets ENIGMA.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

ProofWatch Meets ENIGMA: First Experiments.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

ProofWatch: Watchlist Guidance for Large Theories in E.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018