Zarathustra A. Goertzel
From MaRDI portal
Person:831933
Available identifiers
zbMath Open goertzel.zarathustra-amadeusMaRDI QIDQ831933
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Mizar 60 for Mizar 50 | 2024-11-26 | Paper |
| The Isabelle ENIGMA | 2024-07-15 | Paper |
| Make E Smart Again (Short Paper) | 2022-11-09 | Paper |
| Fast and slow enigmas and parental guidance | 2022-03-24 | Paper |
| ENIGMAWatch: ProofWatch meets ENIGMA | 2020-05-14 | Paper |
| ProofWatch: watchlist guidance for large theories in E | 2018-10-04 | Paper |
Research outcomes over time
This page was built for person: Zarathustra A. Goertzel
