Stochastic approximation algorithms are iterative procedures which are u...
Reinforcement learning algorithms solve sequential decision-making probl...
As machine learning is increasingly used in essential systems, it is
imp...
We present a machine-checked, formal proof of PAC learnability of the co...