Markov Chain Monte Carlo
Mathematical QA
- From atomic balance to reversibility · natural-language: L3 / lean: L3
- Null atoms in a random-scan balance proof · natural-language: L3
- Adaptive hybrid error does not certify expected cost · natural-language: L4
- Invariant, reversible and convergent are different claims · natural-language: L1
- Averaging a conditional event-error bound · natural-language: L3 / lean: L3
- Why retaining one coordinate and conditionally resampling the other is invariant · natural-language: L3 / lean: L2
- One null set for every event, or a different null set for each event? · natural-language: 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.