Zarathustra Amadeus Goertzel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ITP | MizAR 60 for Mizar 50. | Jan Jakubuv, Karel Chvalovsk, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsk, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban |
| 2022 | ITP | The Isabelle ENIGMA. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsk, Jelle Piepenbrock, Josef Urban |
| 2020 | CADE | Make E Smart Again (Short Paper). | Zarathustra Amadeus Goertzel |
| 2019 | TABLEAUX | ENIGMAWatch: ProofWatch Meets ENIGMA. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
| 2018 | ITP | ProofWatch: Watchlist Guidance for Large Theories in E. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban |
| 2018 | LPAR | ProofWatch Meets ENIGMA: First Experiments. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |