Zarathustra Goertzel
Zarathustra Goertzel
CIIRC/CVUT/Global Mind
Verified email at cvut.cz - Homepage
Title
Cited by
Cited by
Year
ProofWatch: Watchlist guidance for large theories in E
Z Goertzel, J Jakubův, S Schulz, J Urban
International Conference on Interactive Theorem Proving, 270-288, 2018
132018
ENIGMAWatch: proofWatch meets ENIGMA
Z Goertzel, J Jakubův, J Urban
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
122019
ProofWatch meets ENIGMA: first experiments
Z Goertzel, J Jakubuv, J Urban
LPAR-22 Workshop and Short Paper Proceedings 9, 15-22, 2018
52018
Make E Smart Again (Short Paper)
ZA Goertzel
International Joint Conference on Automated Reasoning, 408-415, 2020
12020
Make E smart again
ZA Goertzel
arXiv preprint arXiv:2004.08858, 2020
12020
Usefulness of lemmas via graph neural networks
Z Goertzel, J Urban
URL http://aitp-conference. org/2019/abstract/AITP_2019_paper_32. pdf, 0
1
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
2021
First Experiments with Watchlist Guidance on Mizar
Z Goertzel, J Jakubuv, J Urban
AITP 2018, 2018
2018
Parental Guidance in E
ZA Goertzel, J Jakubuv, J Urban
The system can't perform the operation now. Try again later.
Articles 1–9