Follow
Zarathustra Goertzel
Zarathustra Goertzel
CIIRC/CVUT/Global Mind
Verified email at cvut.cz - Homepage
Title
Cited by
Cited by
Year
The global brain and the emerging economy of abundance: Mutualism, open collaboration, exchange networks and the automated commons
B Goertzel, T Goertzel, Z Goertzel
Technological Forecasting and Social Change 114, 65-73, 2017
672017
ENIGMAWatch: proofWatch meets ENIGMA
Z Goertzel, J Jakubův, J Urban
Automated Reasoning with Analytic Tableaux and Related Methods: 28th†…, 2019
212019
ProofWatch: Watchlist guidance for large theories in E
Z Goertzel, J Jakubův, S Schulz, J Urban
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as†…, 2018
152018
The isabelle enigma
ZA Goertzel, J Jakubův, C Kaliszyk, M OlšŠk, J Piepenbrock, J Urban
arXiv preprint arXiv:2205.01981, 2022
112022
Fast and slow enigmas and parental guidance
ZA Goertzel, K Chvalovskż, J Jakubův, M OlšŠk, J Urban
International Symposium on Frontiers of Combining Systems, 173-191, 2021
72021
ProofWatch Meets ENIGMA: First Experiments.
ZA Goertzel, J Jakubuv, J Urban
LPAR (Workshop and Short Papers), 15-22, 2018
72018
Make E smart again (short paper)
ZA Goertzel
International Joint Conference on Automated Reasoning, 408-415, 2020
62020
Make E smart again
ZA Goertzel
arXiv preprint arXiv:2004.08858, 2020
32020
Offer Networks Simulation and Dynamics
Z Goertzel
MS thesis, University of Copenhagen, Computer Science Dept., 2017. https†…, 2017
32017
Usefulness of lemmas via graph neural networks
Z Goertzel, J Urban
AITP 2019, 0
2*
An Evaluation of GPT-4 on the ETHICS Dataset
S Rodionov, ZA Goertzel, B Goertzel
arXiv preprint arXiv:2309.10492, 2023
12023
First Experiments with Watchlist Guidance on Mizar
Z Goertzel, J Jakubuv, J Urban
AITP 2018, 2018
12018
Project Proposal: Formal Ethics Ontology in SUMO
ZA Goertzel, A Pease, J Urban
AITP 2022, 0
1*
Parental Guidance in E
ZA Goertzel, J Jakubuv, J Urban
AITP 2021, 0
1*
OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond
B Goertzel, V Bogdanov, M Duncan, D Duong, Z Goertzel, J Horlings, ...
arXiv preprint arXiv:2310.18318, 2023
2023
MizAR 60 for Mizar 50
J Jakubův, K Chvalovskż, Z Goertzel, C Kaliszyk, M OlšŠk, B Piotrowski, ...
arXiv preprint arXiv:2303.06686, 2023
2023
MizAR 60 for Mizar 50
J Jakubuv, K Chvalovskż, Z Goertzel, C Kaliszyk, M OlšŠk, B Piotrowski, ...
CoRR, 2023
2023
Make E Smart Again
Z Amadeus Goertzel
arXiv e-prints, arXiv: 2004.08858, 2020
2020
Formal Ethics Ontology in SUMO: Progress Report and Lessons Learned
ZA Goertzel
LightGBM Hyperparameter Optimization for Clause Classification in Theorem Proving
Z Goertzel, J Jakubuv, M Janota, C Kaliszyk
The system can't perform the operation now. Try again later.
Articles 1–20