Skip to content

feat: Legendre functions, their constrained minimizers and Bregman projections [LS, §26.4–26.6] - #289

Open
RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/legendre-functions-worker1
Open

RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/legendre-functions-worker1

Commits

  1. Commits on Nov 12, 2026