Mirek Olšák | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Josef Urban
55 publications
Georg Martius
49 publications
Cezary Kaliszyk
38 publications
Henryk Michalewski
26 publications
Jan Jakubův
12 publications
Michal Rolinek
11 publications
Martin Suda
10 publications
Bartosz Piotrowski
8 publications
Karel Chvalovský
5 publications
Zarathustra Goertzel
4 publications
Marco Bagatella
3 publications

research

∙ 03/12/2023

MizAR 60 for Mizar 50

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

0 Jan Jakubův, et al. ∙

research

∙ 10/12/2021

Planning from Pixels in Environments with Combinatorially Hard Search Spaces

The ability to form complex plans based on raw visual input is a litmus ...

0 Marco Bagatella, et al. ∙

research

∙ 05/19/2018

Reinforcement Learning of Theorem Proving

We introduce a theorem proving algorithm that uses practically no domain...

0 Cezary Kaliszyk, et al. ∙