Samplinglib
Lean gate not recorded for this source state main · ed709a7f320d

Samplinglib · research resources

Research resources

Find the right mathematics, then follow it to a readable proof, its assumptions and optional Lean.

Start with a subject

Optimisation

Follow an optimization proof from its objective and access model to a quantitative guarantee. Browse mathematical foundations separately from formal libraries, AI tools and new papers.

Sampling

Begin with the target, state space and access model. Choose a sampling regime before a named algorithm; use the textbook for foundations and SampleWiki for research results.

Geometry and transport

Keep the ambient space, metric and geometric structure visible. Read manifold optimization and statistical transport together where useful, without identifying their different notions of gradient or curvature.

What do you need?

Reuse formal mathematics

Browse Optlib by mathematical purpose, compare exact assumptions and inspect existing local proof readers.

Open the Optlib map

Optimization × AI Forum collection

133 source-listed resources, across six categories. These are discovery links, not verified mathematical claims.

Sources, coverage and reuse boundaries

Organization informed by Optlib and the Optimization × AI Forum resource collection. No affiliation or endorsement is implied.

Forum last updated 2026-10-30; retrieved 2026-11-03. The complete six-section title/link/date inventory is retained. Linked papers, AI-assistance claims and their proofs have not been independently audited here.

No explicit Forum reuse license was established. We do not copy its prose, styling, site code, abstracts or proofs. Paper titles and bibliographic links point to their respective owners.

Optlib: Apache-2.0, commit 5da27c5f95aa6a8a45b8c14b968ade4c13ff18c3; 41 modules inventoried, not blanket-audited. Copyright 2026 Chenyi Li, Zichen Wang, Ziyu Wang, Zaiwen Wen; retained upstream, not transferred to Samplinglib. Upstream license.

Reference intake is not formal assimilation. Bibliographic entries alone receive no declaration, chapter-coverage, solid-proof-edge or conceptual-transport credit. Separately admitted local results use the canonical publication metadata.

Download pinned bibliography and fingerprints · Download original subject guide metadata