TY - RPRT TI - On Fundamental Proof Structures in First-Order Optimization AU - Baptiste Goujaud AU - Aymeric Dieuleveut AU - Adrien Taylor PY - 2023 UR - https://arxiv.org/abs/2310.02015 ID - 2310.02015 ER -