Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage4AboveTwoFinalTrial.Proof

Existence of the certified above-two two-phase trial and its query complexity bound.