Zarathustra Goertzel

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

research

∙ 03/12/2023

As a present to Mizar on its 50th anniversary, we develop an AI/TP syste...

research

∙ 07/14/2021

We describe several additions to the ENIGMA system that guides clause se...

research

∙ 05/23/2019

In this work we describe a new learning-based proof guidance -- ENIGMAWa...

research

∙ 02/12/2018

Watchlist (also hint list) is a mechanism that allows related proofs to ...