Video lectures on the learning-theoretic agenda — AI Alignment Forum