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

feat: Legendre functions, their constrained minimizers and Bregman pr…

50749c4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 12, 2026 in 3s