Posts tagged #optimization
-
Formalizing the Softmax and Hessian: Lean 4 Soundness Proofs
A deep dive into the Lean 4 proofs for Softmax soundness and the BetaLocalHessian skeleton in the lean-mining project.
Formalizing the Softmax and Hessian: Lean 4 Soundness Proofs
A deep dive into the Lean 4 proofs for Softmax soundness and the BetaLocalHessian skeleton in the lean-mining project.