TY  - RPRT
TI  - Formalization of Algorithms for Optimization with Block Structures
AU  - Chenyi Li
AU  - Zichen Wang
AU  - Yifan Bai
AU  - Yunxi Duan
AU  - Yuqing Gao
AU  - Pengfei Hao
AU  - Zaiwen Wen
PY  - 2025
UR  - https://arxiv.org/abs/2503.18806
ID  - 2503.18806
ER  -