Textbook
Log-Concave Sampling
Chewi's source-aligned textbook graph, including the official Chapter 2 supplement.
Open textbookSamplinglib · seven first-class libraries
One formal graph across sampling and optimisation.
Public mathematical sources provide stable coordinate systems; SampleWiki inserts frontier results into the same reusable theorem graph.
Research frontier
SampleWiki
Source-pinned frontier results inserted into the reusable graph.
Open SampleWikiChapter scaffold
Riemannian Optimization
Boumal's eleven-chapter geometry and optimization route.
Open libraryPublic arXiv notes + upstream reuse
Optimisation
Formalising Sinho Chewi's Lectures on Optimization, with Mathlib, Optlib and CvxLean searched before new proofs.
Open libraryChapter scaffold
Statistical Optimal Transport
Chewi, Niles-Weed and Rigollet: eight chapters and two appendices, with shared transport, convexity and probability foundations.
Open libraryFinite-state source scaffold
Discrete Sampling
Ising/Glauber, hard-core and matroid sampling. Chen, Štefankovič and Vigoda, with complementary model and mixing-time sources.
Open libraryMethod-family source scaffold
Markov Chain Monte Carlo
Scalable Monte Carlo for Bayesian Learning: six primary chapters, with source-pinned extended reading paths.
Open library