Session MC-8: Systematic and computer-aided analyses II: Systematic algorithmic design approaches in stream Systematic and computer-aided analyses of optimization algorithms
Monday, 14:00-16:00Room: B100/7007
| Session chair(s): |
|
| 131. Exact Verification of First-Order Methods via Mixed-Integer Linear Programming |
Vinit Ranjan
[R] - United States | accepted | ||
| Jisun Park
[R] - United States | ||||
| Stefano Gualandi
[] - Italy | ||||
| Andrea Lodi
[] - Italy | ||||
| Bartolomeo Stellato
[] - United States | ||||
| 548. Tight Analysis of Second-Order Optimization Methods via Interpolation of generalized Hessian Lipschitz Univariate Functions |
François Glineur
[R] - Belgium | accepted | ||
| Nizar Bousselmi
[R] - Belgium | ||||
| Julien Hendrickx
[] - Belgium | ||||
| Anne Rubbens
[R] - Belgium | ||||
| 518. Forward-backward algorithms with deviations |
Sebastian Banert
[R] - Germany | accepted | ||