@misc{indiciaeaf8f35709666,
  title = {Formalization of Algorithms for Optimization with Block Structures},
  author = {Chenyi Li and Zichen Wang and Yifan Bai and Yunxi Duan and Yuqing Gao and Pengfei Hao and Zaiwen Wen},
  year = {2025},
  url = {https://arxiv.org/abs/2503.18806},
  note = {Source identifier: 2503.18806}
}