| 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 | 79 | 2017 |
| ENIGMAWatch: proofWatch meets ENIGMA Z Goertzel, J Jakubův, J Urban Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 23 | 2019 |
| The isabelle ENIGMA ZA Goertzel, J Jakubův, C Kaliszyk, M Olšák, J Piepenbrock, J Urban arXiv preprint arXiv:2205.01981, 2022 | 20 | 2022 |
| 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 | 16 | 2018 |
| 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 | 13 | 2021 |
| 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 | 10 | 2023 |
| Make E smart again (short paper) ZA Goertzel International Joint Conference on Automated Reasoning, 408-415, 2020 | 10 | 2020 |
| ProofWatch Meets ENIGMA: First Experiments. ZA Goertzel, J Jakubuv, J Urban LPAR (Workshop and Short Papers), 15-22, 2018 | 7 | 2018 |
| Make E smart again ZA Goertzel arXiv preprint arXiv:2004.08858, 2020 | 5 | 2020 |
| Usefulness of lemmas via graph neural networks Z Goertzel, J Urban AITP 2019, 0 | 5* | |
| 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 | 4 | 2023 |
| Offer Networks Simulation and Dynamics Z Goertzel MS thesis, University of Copenhagen, Computer Science Dept., 2017. https …, 2017 | 4 | 2017 |
| An Evaluation of GPT-4 on the ETHICS Dataset S Rodionov, ZA Goertzel, B Goertzel arXiv preprint arXiv:2309.10492, 2023 | 2 | 2023 |
| First Experiments with Watchlist Guidance on Mizar Z Goertzel, J Jakubuv, J Urban AITP 2018, 2018 | 2 | 2018 |
| Project Proposal: Formal Ethics Ontology in SUMO ZA Goertzel, A Pease, J Urban AITP 2022, 0 | 2* | |
| Parental Guidance in E ZA Goertzel, J Jakubuv, J Urban AITP 2021, 0 | 2* | |
| 14th International Conference on Interactive Theorem Proving (ITP 2023) A Koutsoukou-Argyraki, R Krebbers, M Abdulaziz, C Madlener, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | 1 | 2023 |
| Beneficial AGI: Care and Collaboration Are All You Need ZA Goertzel International Conference on Artificial General Intelligence, 84-88, 2024 | | 2024 |
| Learning Inference Guidance in Automated Theorem Proving Z Goertzel České vysoké učení technické v Praze, 2023 | | 2023 |
| Make E Smart Again Z Amadeus Goertzel arXiv e-prints, arXiv: 2004.08858, 2020 | | 2020 |
Josef UrbanDistinguished Researcher at Czech Technical University in PragueE-mail confirmado em cvut.cz