Baptiste Goujaud
Baptiste Goujaud
Home
Research
Posts
Light
Dark
Automatic
On Fundamental Proof Structures in First-Order Optimization
Baptiste Goujaud
,
Aymeric Dieuleveut
,
Adrien Taylor
September, 2023
Type
Conference paper
Publication
CDC 2023
Source Themes
Cite
×