Automated tight Lyapunov analysis for first-order methods - Upadhyaya, Manu; Banert, Sebastian; Taylor, Adrien B.; Giselsson, Pontus; Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Automatic Control, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för reglerteknik, Originator; Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator; Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator (Mathematical Programming, 2025)