Curriculum

Log-Concave Sampling

Mathematical QA

• A quadratic envelope from one midpoint · natural-language: L2 / lean: L2
• A log-concave shape is not yet a probability density · natural-language: L1
• Gluing the right joint law before applying Minkowski · natural-language: L4 / lean: L4
• From Gibbs Poincaré to a directional covariance bound · natural-language: L3 / lean: L3
• Can the SPHMC smoothing argument survive weak convexity? · natural-language: L4
• Tensorizing a two-point entropy bound without losing the flip constant · natural-language: L3
• From the Boolean cube to compact Gaussian log-Sobolev · natural-language: L4 / lean: L3

Structural graph QA

• A genuinely shared proof ingredient · L1
• Which selected proof branch reaches normalization? · L2

Difficulty is provisional. Each question discloses its own current editorial status; empirical calibration remains pending.