Computer-Assisted Design of Accelerated Composite Optimization Methods: OptISTA - Jang, Uijeong (arXiv.org)