The article discusses formalizing optimization techniques with the Lean4 theorem prover. It covers gradient and subgradient formalization, convex function properties, Lipschitz smooth functions, and convergence rates for gradient descent, subgradient descent, and proximal gradient methods.
إلى لغة أخرى
من محتوى المصدر
arxiv.org
الرؤى الأساسية المستخلصة من
by Chenyi Li,Zi... في arxiv.org 03-19-2024
https://arxiv.org/pdf/2403.11437.pdfاستفسارات أعمق