EUROPT 2025
Abstract Submission

• Home
• Abstract submission
• Search abstract
• Topic keywords
• Streams
• F.A.Q.
• Program
• Help

Session TC-8: Systematic and computer-aided analyses V: Tools for systematic studies of first-order algorithms in stream Systematic and computer-aided analyses of optimization algorithms

Tuesday, 14:00-16:00
Room: B100/7007

Session chair(s):

Manu Upadhyaya (manu.upadhyaya@control.lth.se) Adrien Taylor (adrien.taylor@inria.fr)

The following abstracts have been submitted in this session:

		579. Data-driven Analysis of First-order Methods via Distributionally Robust Optimization	Jisun Park [R] - United States	accepted
			Vinit Ranjan [R] - United States
			Bartolomeo Stellato [] - United States
		533. Computer-aided analysis of relatively inexact gradient descent in smooth convex optimization	Pierre Vernimmen [R] - Belgium	accepted
			François Glineur [R] - Belgium
		417. AutoLyap: A Python package for computer-assisted Lyapunov analyses for first-order methods	Manu Upadhyaya [R] - Sweden	accepted
			Adrien Taylor [R] - France
			Sebastian Banert [R] - Germany
			Pontus Giselsson [R] - Sweden