On Learning vs. Refutation.

Salil P. Vadhan

Published in: COLT (2017)

Keyphrases

learning systems
learning algorithm
reinforcement learning
inductive inference
supervised learning
knowledge acquisition
inductive learning
real time
neural network
support vector
prior knowledge
classical logic