An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
Anja Surina, Arun Suggala, George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Francisco J. R. Ruiz, Pushmeet Kohli, Swarat Chaudhuri
AI use, as the source states it
“This result was discovered autonomously by an AI system capable of writing formal proofs in Lean.”
Named here, or see a mistake? Write to privacy@papex.org.