Discrete Sampling
Mathematical QA
- From atomic balance to reversibility · natural-language: L3 / lean: L3
- Null atoms in a random-scan balance proof · natural-language: L3
- One random-site step is not one sweep · natural-language: L1
- Why retaining one coordinate and conditionally resampling the other is invariant · natural-language: L3 / lean: L2
- 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
No structural question in this slice yet.
Difficulty is provisional. Each question discloses its own current editorial status; empirical calibration remains pending.