Peppy: An AI-Assisted Workflow for Tight Convergence Analysis of Optimization Algorithms C9QEPN1E56

URI	`m2://res/C9QEPN1E56`
Kind	preprint
Creators	Jaewook J. Suh, TaeHo Yoon, Edward Duc Hien Nguyen, Bicheng Ying, Shiqian Ma
Date	2026-09-28
MSC	49-XX, 90-XX, 93-XX
Subjects	arxiv math.OC
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
2HWK9RTT30	statement	lemma F.2	arxiv
3153Y84Q40	statement	lemma F.12	arxiv
FGM at \(x_N\); Conjecture 5	statement	theorem 5.2	arxiv
858BQ4KSC5	statement	theorem F.9	arxiv
A58SNS7MB2	statement	lemma F.8	arxiv
Relation to the FGM conjecture notation	statement	lemma F.11	arxiv
FISTA with rational coefficients; nonsmooth FPGM1 conjecture in Table 1	statement	theorem 5.5	arxiv
G43A02ATS8	statement	lemma F.10	arxiv
G7WRM0K25B	statement	lemma F.4	arxiv
HWHWVVEDDD	statement	theorem F.5	arxiv
JAKEWWJTNX	statement	lemma F.13	arxiv
JGFEBAJBM6	statement	lemma F.6	arxiv
FGM with rational coefficients; conjecture in Table 1	statement	theorem 5.4	arxiv
OGM at \(y_N\); Conjecture 4	statement	theorem 5.3	arxiv
MBV2S77GD1	statement	theorem F.7	arxiv
FGM at \(y_N\); Conjecture 4	statement	theorem 5.1	arxiv
Q14KB7PTFK	statement	theorem F.3	arxiv
XP2FG1YZGX	statement	theorem F.1	arxiv