Pobierz Linnk AI
•
Asystent Badawczy
>
Zaloguj się
spostrzeżenie
-
Optimization Algorithms Formalization
Formalization of Complexity Analysis of First-order Optimization Algorithms Using Lean4 Theorem Prover
Formalizing complexity analysis of first-order optimization algorithms using Lean4.
1