L2 · Local derivation
Mathematical QA
- A quadratic envelope from one midpoint · natural-language: L2 / lean: L2
- Recovering joint probability mass from one marginal · natural-language: L2 / lean: L2
- Why a global Lipschitz function bounds its supporting vectors · natural-language: L3 / lean: L2
- Why retaining one coordinate and conditionally resampling the other is invariant · natural-language: L3 / lean: L2
Structural graph QA
- Which selected proof branch reaches normalization? · L2
- Which convex-analysis branches reach the curve limit? · L2
- Combine a proof path with an exact statement profile · L2
Difficulty is provisional. Each question discloses its own current editorial status; empirical calibration remains pending.