Hammering Mizar by Learning Clause Guidance (Short Paper).

Jan Jakubuv Josef Urban

Published in: ITP (2019)

Keyphrases

learning algorithm
learning tasks
prior knowledge
supervised learning
neural network
learning process
online learning
learning systems
computer assisted
computer programming
data sets
artificial intelligence
information systems
unsupervised learning
learning mechanism