Formalization of Algorithms for Optimization with Block Structures

Chenyi Li, Zichen Wang, Yifan Bai, Yunxi Duan, Yuqing Gao, Pengfei Hao, Zaiwen Wen

arXiv:2503.18806 (2025)

Preprint Code