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

作者：Jaewook J. Suh, TaeHo Yoon, Edward Duc Hien Nguyen, Bicheng Ying, Shiqian Ma · 单位：Department of Computational Applied Mathematics and Operations Research, Rice University, Department of Applied Mathematics and Statistics, Johns Hopkins University, Department of Electrical and Computer Engineering, Rice University, Google Inc., Data Science and AI Institute, Johns Hopkins University · 会议/期刊：arXiv preprint · 方向：math.OC · 发布日期：2026-09-29