Machine Learning Algorithms
Machine learning algorithms construct representations, model data distributions, and learn decisions from feedback. These pages develop self-supervised and contrastive objectives, reconstruction and latent-variable models, energy and adversarial learning, transport duality, normalizing flows, flow matching, and diffusion. Multimodal alignment and foundation-model transfer connect representation methods to broader modeling tasks. The sequential-decision branch covers online regret, adaptive confidence, stochastic and adversarial bandits, finite MDPs, tabular control, policy gradients, function approximation, planning, and offline evaluation. Further topics include partial observability, imitation, constrained policies, preference optimization, and verifiable generation.
Probability, Measure Theory, and Mathematical Statistics provide sampling, concentration, and inference tools; Statistical Learning and Classical Models supplies risk, prediction, and generalization methods. Neural Networks and Learning Dynamics contributes architectures and differentiation, while Linear Algebra and Functional Analysis support approximation. Numerical Optimization, Inverse Problems and Uncertainty Quantification informs training and policy optimization; Numerical Differential Equations and Stochastic Dynamics supports continuous flows and diffusion. The reading pathway connects these foundations to representation, generation, and sequential decisions, with example companions alongside the theory pages. Guarantees retain each algorithm’s feedback protocol, comparator, regularity, approximation, and solver assumptions, and empirical scaling evidence remains distinct from mathematical conclusions.
Pathway
The parts run in order. Everything a page needs from this group has been read by the time you reach it, and the level on each row is how many dependency steps into the group that page sits.
Part 1 · Representation objectives and transfer
5 pagesBegin with contrastive representations, reconstruction, and latent-variable objectives, then explore multimodal alignment and foundation-model transfer. Read the neural and statistical prerequisites in their own collections. Distinguish mathematical guarantees about objectives from empirical scaling evidence.
- 1 definitionExamples & counterexamples →
- 1 definition, 1 algorithmExamples & counterexamples →
- 1 definition, 1 algorithmExamples & counterexamples →
- 1 definition, 7 lemmas, 2 theorems, 2 corollariesExamples & counterexamples →
- 1 definition, 1 algorithm, 1 lemma, 1 theorem, 1 corollaryExamples & counterexamples →
Part 2 · Generative objectives and transport
5 pagesStudy energy and adversarial models alongside their divergence and score formulations. Finite-metric transport duality precedes compact-metric Kantorovich–Rubinstein duality and the Wasserstein-GAN applications. Ideal objective identities retain their stated optimization assumptions.
- 1 definition, 1 algorithm, 1 lemma, 2 theoremsExamples & counterexamples →
- Finite-metric transport duality5 results2 definitions, 2 lemmas, 1 theoremExamples & counterexamples →
- 2 definitions, 1 lemma, 1 theoremExamples & counterexamples →
- 1 definition, 5 lemmas, 3 theoremsExamples & counterexamples →
- 1 definition, 1 theorem, 1 corollaryExamples & counterexamples →
Part 3 · Flows, diffusion, and reverse generation
7 pagesFollow exact-density and continuous flows into flow matching, using the transport prerequisites from the preceding part. Discrete diffusion and masked generation form a separate route; the continuous branch proceeds from reverse-time diffusion to score-SDE generation. Keep density, regularity, sampling, and solver assumptions explicit.
- Anderson reverse-time diffusion16 results2 definitions, 11 lemmas, 3 theoremsExamples & counterexamples →
- 1 definition, 1 algorithm, 2 lemmas, 2 theoremsExamples & counterexamples →
- 2 definitions, 1 algorithm, 7 lemmas, 3 theorems, 1 corollary, 1 remarkExamples & counterexamples →
- Exact-density normalizing flows3 results1 definition, 2 theoremsExamples & counterexamples →
- 1 definition, 1 algorithm, 2 theoremsExamples & counterexamples →
- 1 definition, 1 algorithm, 5 lemmas, 2 theoremsExamples & counterexamples →
- 1 definition, 1 algorithm, 1 theoremExamples & counterexamples →
Part 4 · Online protocols, regret, and confidence
4 pagesBegin the sequential-decision branch with its protocol and comparator class. Hedge and online gradient descent precede adaptive mirror descent. Confidence sequences supply tools for adaptive sampling and stopping under their stated assumptions.
- 2 definitions, 1 algorithm, 1 theoremExamples & counterexamples →
- 3 definitions, 1 lemmaExamples & counterexamples →
- Hedge and online gradient descent4 results2 algorithms, 2 theoremsExamples & counterexamples →
- 1 definition, 2 algorithms, 8 lemmas, 1 theorem, 1 false statementExamples & counterexamples →
Part 5 · Bandit feedback and contextual decisions
4 pages · after Part 4Move from stochastic finite-armed bandits to adversarial and contextual feedback. Contextual expert methods follow importance weighting; linear contextual bandits use their linear-prediction prerequisites. Each guarantee depends on the feedback the learner actually observes.
- Linear contextual bandits and LinUCB11 results1 definition, 1 algorithm, 6 lemmas, 2 theorems, 1 corollaryExamples & counterexamples →
- Stochastic finite-armed bandits14 results2 definitions, 2 algorithms, 7 lemmas, 3 theoremsExamples & counterexamples →
- 1 definition, 1 algorithm, 2 lemmas, 1 theoremExamples & counterexamples →
- Contextual expert bandits7 results1 definition, 1 algorithm, 4 lemmas, 1 theoremExamples & counterexamples →
Part 6 · MDPs, Bellman operators, and tabular learning
4 pagesRead finite MDPs and Bellman operators before tabular prediction and control. PAC exploration and average-reward regret add their own horizon, confidence, and communication conditions. Known-model planning and learning through interaction retain distinct assumptions.
- Finite MDPs and Bellman operators13 results4 definitions, 2 algorithms, 3 lemmas, 4 theoremsExamples & counterexamples →
- Average-reward regret and UCRL212 results3 definitions, 2 algorithms, 4 lemmas, 3 theoremsExamples & counterexamples →
- 2 definitions, 4 algorithms, 5 lemmas, 1 theoremExamples & counterexamples →
- 4 definitions, 2 algorithms, 4 lemmas, 5 theoremsExamples & counterexamples →
Part 7 · Policies, planning, offline learning, and safety
7 pages · after Parts 4 and 6Continue to policy gradients, function approximation, model-based planning, and offline evaluation. Partial observability and imitation change the information or training protocol; constrained MDPs follow the policy-gradient prerequisites. Approximation and off-policy results preserve their stated limitations.
- 1 definition, 1 lemma, 2 theoremsExamples & counterexamples →
- Imitation learning and DAgger8 results1 definition, 1 algorithm, 4 lemmas, 2 theoremsExamples & counterexamples →
- POMDPs and belief-state planning7 results2 definitions, 1 algorithm, 2 lemmas, 2 theoremsExamples & counterexamples →
- 4 definitions, 3 algorithms, 2 lemmas, 3 theorems, 1 counterexample, 1 remarkExamples & counterexamples →
- 1 definition, 2 algorithms, 1 lemma, 3 theorems, 1 remarkExamples & counterexamples →
- 1 definition, 3 algorithms, 2 lemmas, 1 theoremExamples & counterexamples →
- Constrained MDPs and policy safety12 results4 definitions, 1 algorithm, 5 lemmas, 1 theorem, 1 remarkExamples & counterexamples →
Part 8 · Preferences and verifiable generation
2 pages · after Part 7Preference learning and direct preference optimization use classical calibration, classification, and neural differentiation. Verifiable generation follows the policy-gradient and offline-evaluation interfaces. Objective and sampling results retain their stated verification and feedback assumptions.
- 2 definitions, 1 algorithm, 1 lemma, 2 theorems, 1 remarkExamples & counterexamples →
- 1 definition, 2 algorithms, 4 lemmas, 2 theorems, 1 remarkExamples & counterexamples →