TY  - RPRT
TI  - Peppy: An AI-Assisted Workflow for Tight Convergence Analysis of Optimization Algorithms
AU  - Jaewook J. Suh
AU  - TaeHo Yoon
AU  - Edward Duc Hien Nguyen
AU  - Bicheng Ying
AU  - Shiqian Ma
PY  - 2026
UR  - https://arxiv.org/abs/2609.35762
ID  - 2609.35762
ER  -