@misc{indiciaeafc84cbed6d4,
  title = {Peppy: An AI-Assisted Workflow for Tight Convergence Analysis of Optimization Algorithms},
  author = {Jaewook J. Suh and TaeHo Yoon and Edward Duc Hien Nguyen and Bicheng Ying and Shiqian Ma},
  year = {2026},
  url = {https://arxiv.org/abs/2609.35762},
  note = {Source identifier: 2609.35762}
}