66 citations · 283 across the 24 of their papers we have counts for
1 paper · 2 filters
Jaewook J. Suh, TaeHo Yoon, Edward Duc Hien Nguyen +2
This paper presents Peppy, an AI-assisted workflow for discovering tight, analytic convergence proofs for first-order optimization algorithms. Generic approaches to using LLMs to c…