Lean repository linked
Smooth Strongly Convex Interpolation and Exact Worst-case Performance of First-order Methods
arXiv:1502.05666 · arXiv
Lean formalisations (1)
JD-Jones-ASES/thg-gradient-curve at b7d95ef94b21
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.