ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback.

Bartosz Piotrowski Josef Urban

Published in: CoRR (2018)

Keyphrases

online learning
learning algorithm
active learning
learning systems
unsupervised learning
inductive learning
erroneous examples
neural network
machine learning
learning process
relevance feedback
knowledge acquisition
learning tasks
learning problems
learning scenarios
learning analytics