Skip to content

feat: the dual formula for the smallest relative entropy to a null generated by finitely many constraints, with no constraint qualification - #423

Open
RemyDegenne wants to merge 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/constraint-null-klinf
Open

RemyDegenne wants to merge 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/constraint-null-klinf

refactor: reuse integral_sum_smul_dirac and move abs_log_one_add_mul_…

3f2b591
Select commit
Loading
Failed to load commit list.
Sign in for the full log view