Bandit Book
Ten core teaching routes plus source Chapters 13–17. Broader Bandit classification, techniques, theorem-level bounds and research frontiers are separate linked views rather than pseudo-chapters.
Bandit Algorithms
One library · several reading views
Books
Read a mathematical subject in order, then follow its exact Lean declarations across the library.
Reinforcement Learning Book
A dedicated RL reading view. Existing finite-horizon material is available; mapping the new source is planned.
Reinforcement Learning: Theory and Algorithms
Online Learning Book
Convex optimization and regret minimization. Existing EXP3/FTRL routes are shared references; adjacent online-learning frontier questions are indexed separately from core Bandit/RL open problems.
Online Learning: A Modern Introduction Using Convex Optimization
Conformal Prediction Book
Reserved for a dedicated conformal prediction curriculum. Source selection and theorem mapping await review.
Source selection pending