Urban, Josef

4 publications

AAAI 2023 Learning Program Synthesis for Integer Sequences from Scratch Thibault Gauthier, Josef Urban

NeurIPS 2018 Reinforcement Learning of Theorem Proving Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olšák

NeurIPS 2016 DeepMath - Deep Sequence Models for Premise Selection Geoffrey Irving, Christian Szegedy, Alexander A Alemi, Niklas Een, Francois Chollet, Josef Urban

IJCAI 2015 Efficient Semantic Features for Automated Reasoning over Large Theories Cezary Kaliszyk, Josef Urban, Jirí Vyskocil