Stav dette: Computer-Assisted Design of Accelerated Composite Optimization Methods: OptISTA