TY  - RPRT
TI  - Formal Primal-Dual Algorithm Analysis
AU  - Mohammad Abdulaziz
AU  - Thomas Ammer
AU  - Christoph Madlener
PY  - 2026
UR  - https://arxiv.org/abs/2604.20807
ID  - 2604.20807
ER  -