Karel Chvalovský

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/21/2021

Saturation-style automated theorem provers (ATPs) based on the given cla...

research

∙ 07/14/2021

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

research

∙ 02/13/2020

We describe an implementation of gradient boosting and neural guidance o...

research

∙ 03/07/2019

We describe an efficient implementation of clause guidance in saturation...