Skip to content

Added Generalized Bregman Divergence definition and algebraic properties - #250

Closed
ISIPINK wants to merge 3 commits into
LeanMachineLearning:mainfrom
ISIPINK:Bregman
Closed

ISIPINK wants to merge 3 commits into
LeanMachineLearning:mainfrom
ISIPINK:Bregman

Restructure Bregman module into folder with Basic.lean

55fa914
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs