Search Results for author: Mirek Olšák

Found 3 papers, 1 papers with code

MizAR 60 for Mizar 50

no code implementations12 Mar 2023 Jan Jakubův, Karel Chvalovský, Zarathustra Goertzel, Cezary Kaliszyk, Mirek Olšák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60\% of the Mizar theorems in the hammer setting.

Planning from Pixels in Environments with Combinatorially Hard Search Spaces

2 code implementations NeurIPS 2021 Marco Bagatella, Mirek Olšák, Michal Rolínek, Georg Martius

The ability to form complex plans based on raw visual input is a litmus test for current capabilities of artificial intelligence, as it requires a seamless combination of visual processing and abstract algorithmic execution, two traditionally separate areas of computer science.

Continuous Control Offline RL

Reinforcement Learning of Theorem Proving

no code implementations NeurIPS 2018 Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olšák

The strongest version of the system is trained on a large corpus of mathematical problems and evaluated on previously unseen problems.

Automated Theorem Proving reinforcement-learning +1

Cannot find the paper you are looking for? You can Submit a new open access paper.