Timezone: »
Reasoning and Abstraction as Challenges for AI
Cezary Kaliszyk
Author Information
Cezary Kaliszyk (University of Innsbruck)
More from the Same Authors
-
2018 Poster: Reinforcement Learning of Theorem Proving »
Cezary Kaliszyk · Josef Urban · Henryk Michalewski · Miroslav Olšák