L4 · Cross-module composition
Mathematical QA
- Adaptive hybrid error does not certify expected cost · natural-language: L4
- Gluing the right joint law before applying Minkowski · natural-language: L4 / lean: L4
- An actual gradient flow: objective decay with the zero-curvature branch · natural-language: L4 / lean: L4
- Can the SPHMC smoothing argument survive weak convexity? · natural-language: L4
- 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.