Kaliszyk, Cezary

6 publications

IJCAI 2025 Automated Strategy Invention for Confluence of Term Rewrite Systems Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk

IJCAI 2022 Learning Higher-Order Logic Programs from Failures Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk

ICLR 2021 Disambiguating Symbolic Expressions in Informal Documents Dennis Müller, Cezary Kaliszyk

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

ICLR 2017 HolStep: A Machine Learning Dataset for Higher-Order Logic Theorem Proving Cezary Kaliszyk, François Chollet, Christian Szegedy

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