Optimisation
Mathematical QA
- PL descent: the sign of the contraction factor · natural-language: L3 / lean: L3
- A quadratic envelope from one midpoint · natural-language: L2 / lean: L2
- Reading a PL inequality before using an algorithm · natural-language: L1
- Why a global Lipschitz function bounds its supporting vectors · natural-language: L3 / lean: L2
- From subgradient energy to a finite-run best iterate · natural-language: L3
- 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
- Chewi Optimization Exercise 3.2: the balanced gradient step · natural-language: L3
Structural graph QA
- Read a local import edge · L1
- Find a shared implementation prerequisite · L1
- Ablate availability, not mathematical truth · L1
- 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.