Natural-language QA
29 available views. Missing equivalent Lean tasks remain gaps, not borrowed proof credit. Reference answers stay closed until you choose to read them.
From atomic balance to reversibility
sogb-001 · 4 rubric points · public-dev
Open questionPL descent: the sign of the contraction factor
sogb-002 · 4 rubric points · public-dev
Open questionA quadratic envelope from one midpoint
sogb-003 · 4 rubric points · public-dev
Open questionWasserstein symmetry without an optimal plan
sogb-004 · 4 rubric points · public-dev
Open questionWhy a sphere gradient is a projected ambient gradient
sogb-005 · 4 rubric points · public-dev
Open questionNull atoms in a random-scan balance proof
sogb-006 · 4 rubric points · public-dev
Open questionAdaptive hybrid error does not certify expected cost
sogb-007 · 4 rubric points · public-dev
Open questionA log-concave shape is not yet a probability density
sogb-008 · 4 rubric points · public-dev
Open questionWhat kind of guarantee does a sampling claim describe?
sogb-009 · 4 rubric points · public-dev
Open questionReading a PL inequality before using an algorithm
sogb-010 · 4 rubric points · public-dev
Open questionWhich space contains the sphere gradient?
sogb-011 · 4 rubric points · public-dev
Open questionWhat information does a coupling contain?
sogb-012 · 4 rubric points · public-dev
Open questionOne random-site step is not one sweep
sogb-013 · 4 rubric points · public-dev
Open questionInvariant, reversible and convergent are different claims
sogb-014 · 4 rubric points · public-dev
Open questionRecovering joint probability mass from one marginal
sogb-015 · 4 rubric points · public-dev
Open questionA quadratic gradient through the actual sphere differential
sogb-016 · 4 rubric points · public-dev
Open questionAveraging a conditional event-error bound
sogb-017 · 4 rubric points · public-dev
Open questionGluing the right joint law before applying Minkowski
sogb-018 · 4 rubric points · public-dev
Open questionWhy a global Lipschitz function bounds its supporting vectors
sogb-019 · 4 rubric points · public-dev
Open questionFrom subgradient energy to a finite-run best iterate
sogb-020 · 4 rubric points · public-dev
Open questionWhy retaining one coordinate and conditionally resampling the other is invariant
sogb-021 · 4 rubric points · public-dev
Open questionFrom a selected-curve chord inequality to its first-order bound
sogb-022 · 4 rubric points · public-dev
Open questionAn actual gradient flow: objective decay with the zero-curvature branch
sogb-023 · 4 rubric points · public-dev
Open questionOne null set for every event, or a different null set for each event?
sogb-024 · 4 rubric points · public-dev
Open questionFrom Gibbs Poincaré to a directional covariance bound
sogb-025 · 4 rubric points · public-dev
Open questionCan the SPHMC smoothing argument survive weak convexity?
sogb-026 · 4 rubric points · public-dev
Open questionTensorizing a two-point entropy bound without losing the flip constant
sogb-027 · 4 rubric points · public-dev
Open questionFrom the Boolean cube to compact Gaussian log-Sobolev
sogb-028 · 4 rubric points · public-dev
Open questionChewi Optimization Exercise 3.2: the balanced gradient step
sogb-029 · 4 rubric points · public-dev
Open question