Hammering Mizar by Learning Clause Guidance.

Jan Jakubuv Josef Urban

Published in: CoRR (2019)

Keyphrases

active learning
learning algorithm
learning process
knowledge acquisition
reinforcement learning
machine learning
unsupervised learning
supervised learning
databases
empirical studies
mobile learning
inductive learning
inductive inference
prior knowledge
artificial neural networks
multi agent
learning scheme