Sign in
Mirek Olsák
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 4
Top Topics
Neighboring Pixels
Theorem Proving
Parallel Search
Stochastic Domains
Top Venues
CoRR
ITP
</>
Publications
</>
Jan Jakubuv
,
Karel Chvalovský
,
Zarathustra Amadeus Goertzel
,
Cezary Kaliszyk
,
Mirek Olsák
,
Bartosz Piotrowski
,
Stephan Schulz
,
Martin Suda
,
Josef Urban
MizAR 60 for Mizar 50.
CoRR
(2023)
Jan Jakubuv
,
Karel Chvalovský
,
Zarathustra Amadeus Goertzel
,
Cezary Kaliszyk
,
Mirek Olsák
,
Bartosz Piotrowski
,
Stephan Schulz
,
Martin Suda
,
Josef Urban
MizAR 60 for Mizar 50.
ITP
(2023)
Marco Bagatella
,
Mirek Olsák
,
Michal Rolínek
,
Georg Martius
Planning from Pixels in Environments with Combinatorially Hard Search Spaces.
CoRR
(2021)
Cezary Kaliszyk
,
Josef Urban
,
Henryk Michalewski
,
Mirek Olsák
Reinforcement Learning of Theorem Proving.
CoRR
(2018)